{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T23:39:11Z","timestamp":1725406751461},"reference-count":24,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207714","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T09:34:28Z","timestamp":1079948068000},"page":"196-205","source":"Crossref","is-referenced-by-count":0,"title":["Verification of JavaSpaces\/spl trade\/ parallel programs"],"prefix":"10.1109","author":[{"given":"J.","family":"van de Pol","sequence":"first","affiliation":[]},{"given":"M.V.","family":"Espada","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870434"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45263-X_25"},{"key":"ref12","first-page":"437","article-title":"CADP - a protocol validation and verification toolbox","author":"fernandez","year":"1996","journal-title":"Proc of CAV LNCS 1102"},{"journal-title":"JavaSpaces Principles Patterns and Practice","year":"1999","author":"freeman","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50035-7"},{"journal-title":"JavaSpaces Example by Example","year":"2002","author":"halter","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/508791.508859"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00094-1"},{"key":"ref18","first-page":"274","article-title":"Formal specification of JavaSpaces ™ architecture using ?CRL","author":"van de pol","year":"2002","journal-title":"Proceedings of Coordination"},{"key":"ref19","first-page":"191","article-title":"?CRL specification of event notification in JavaSpaces ™","author":"van de pol","year":"2002","journal-title":"Actas de las X Jornadas de Concurrencia"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/9.231463"},{"key":"ref3","first-page":"250","article-title":"µ,CRL: a toolset for analysing algebraic specifications","author":"blom","year":"2001","journal-title":"Proc CAV LNCS 2102"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00238-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45499-3_16"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref8"},{"journal-title":"How to Write Parallel Programs A First Course","year":"1990","author":"carriero","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96717"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44616-3_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref20","article-title":"Formal methods and their role in the certification of critical systems","author":"rushby","year":"1995","journal-title":"Technical Report CSL-95-01 CSL"},{"journal-title":"Software Architecture Perspectives of an Emerging Discipline","year":"1996","author":"shaw","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_91"},{"journal-title":"SUN Microsystems Jini? Technology Core Platform Specification","year":"2000","key":"ref24"},{"journal-title":"SUN Microsystems JavcSpoces™ Service Specification","year":"2000","key":"ref23"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207714.pdf?arnumber=1207714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T12:51:14Z","timestamp":1489409474000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207714\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207714","relation":{},"subject":[]}}