{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:42:58Z","timestamp":1725612178269},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/memcod.2003.1210108","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"237-245","source":"Crossref","is-referenced-by-count":6,"title":["Bridging CSP and C++ with selective formalism and executable specifications"],"prefix":"10.1109","author":[{"given":"W.B.","family":"Gardner","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Implementing Application Frameworks Object-Oriented Frameworks at Work","year":"1999","author":"fayad","key":"ref10"},{"year":"0","key":"ref11"},{"year":"2000","author":"gardner","key":"ref12"},{"journal-title":"CSP++ A Framework for Executable Specifications","year":"1999","author":"gardner","key":"ref13"},{"key":"ref14","first-page":"48","article-title":"Communicating Java Threads","author":"hilderink","year":"1997","journal-title":"Proc of the 20th World Occam and Transputer User Group Technical Meeting"},{"journal-title":"Concurrent Systems Formal Development in CSP","year":"1995","author":"hinchey","key":"ref15"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref16"},{"journal-title":"Multithreaded programming with Pthreads","year":"1998","author":"lewis","key":"ref17"},{"journal-title":"Object-Oriented Application Frameworks","year":"1995","author":"lewis","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(92)90011-E"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HCS.1996.492227"},{"journal-title":"Communicating Sequential Processes a synopsis","year":"1994","author":"cheng","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/HCS.1996.492223"},{"journal-title":"ORA Canada","year":"0","key":"ref8"},{"key":"ref7","article-title":"A brief history of timed CSP","author":"davies","year":"1992","journal-title":"Technical Report PRG-96"},{"key":"ref2","article-title":"How to program in CCSP","author":"arrowsmith","year":"1994","journal-title":"Technical Report CSC 94–20"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/262793.262798"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2920-7"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/52.566430"},{"key":"ref22","first-page":"353","article-title":"Model-checking CSP","author":"roscoe","year":"1994","journal-title":"A Classical Mind Essays in Honour of C A R Hoare"},{"journal-title":"Communication and Concurrency","year":"1995","author":"milner","key":"ref21"},{"journal-title":"Concurrent and Real-Time Systems The CSP Approach","year":"2000","author":"schneider","key":"ref24"},{"journal-title":"The Theory and Practice of Concurrency","year":"1998","author":"roscoe","key":"ref23"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/2.745717"}],"event":{"name":"2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003)","start":{"date-parts":[[2003,6,24]]},"location":"Mont Saint Michel, France","end":{"date-parts":[[2003,6,26]]}},"container-title":["First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8593\/27232\/01210108.pdf?arnumber=1210108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:36:37Z","timestamp":1489415797000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210108\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/memcod.2003.1210108","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}