{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:52Z","timestamp":1725484612759},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434108"},{"type":"electronic","value":"9783540460008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46000-4_26","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T22:17:36Z","timestamp":1180477056000},"page":"274-290","source":"Crossref","is-referenced-by-count":4,"title":["Formal Specification of JavaSpaces\u2122 Architecture Using \u03bcCRL"],"prefix":"10.1007","author":[{"given":"Jaco","family":"van de Pol","sequence":"first","affiliation":[]},{"given":"Miguel Valero","family":"Espada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"26_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"\u03bcCRL: a toolset for analysing algebraic specifications","author":"S.C.C. Blom","year":"2001","unstructured":"S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.A. Langevelde, B. Lisser, and J.C. van de Pol. \u03bcCRL: a toolset for analysing algebraic specifications. In Proc. of CAV, LNCS 2102, pages 250\u2013254. Springer, 2001."},{"issue":"7","key":"26_CR2","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1109\/9.231463","volume":"38","author":"M. Boasson","year":"1993","unstructured":"M. Boasson. Control systems software. IEEE Trans. on Automatic Control, 38(7):1094\u20131106, July 1993.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"M.M. Bonsangue, J.N. Kok, and G. Zavattaro. Comparing coordination models based on shared distributed replicated data. In Proc. of SAC, pages 146\u2013155. ACM, 1999.","DOI":"10.1145\/298151.298226"},{"key":"26_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-45499-3_16","volume-title":"Process calculi for coordination: From Linda to JavaSpaces","author":"N. Busi","year":"2000","unstructured":"N. Busi, R. Gorrieri, and G. Zavattaro. Process calculi for coordination: From Linda to JavaSpaces. In Proc. of AMAST, LNCS 1816, pages 198\u2013212. Springer, 2000."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"N. Busi and G. Zavattaro. On the serializability of transactions in JavaSpaces. In U. Montanari and V. Sassone, editors, Electronic Notes in Theoretical Computer Science, volume 54. Elsevier Science Publishers, 2001.","DOI":"10.1016\/S1571-0661(04)00238-5"},{"key":"26_CR6","unstructured":"N. Carriero and D. Gelernter. How to Write Parallel Programs: A First Course. MIT Press, 1990."},{"key":"26_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/3-540-45263-X_25","volume-title":"The verification of coordination","author":"P.F.G. Dechering","year":"2000","unstructured":"P.F.G. Dechering and I.A. van Langevelde. The verification of coordination. In Proc. of COORDINATION, LNCS 1906, pages 335\u2013340. Springer, 2000."},{"key":"26_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"CADP \u2014 a protocol validation and verification toolbox","author":"J.-C. Fernandez","year":"1996","unstructured":"J.-C. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu, and M. Sighireanu. CADP \u2014 a protocol validation and verification toolbox. In Proc. of CAV, LNCS 1102, pages 437\u2013440. Springer, 1996."},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"W. J. Fokkink. Introduction to Process Algebra. Texts in Theoretical Computer Science. Springer-Verlag, 2000.","DOI":"10.1007\/978-3-662-04293-9"},{"key":"26_CR10","volume-title":"JavaSpaces principles, patterns, and practice","author":"E. Freeman","year":"1999","unstructured":"E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces principles, patterns, and practice. Addison-Wesley, Reading, MA, USA, 1999."},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"J.F. Groote and M.A. Reniers. Algebraic process verification. In J.A. Bergstra et al., editor, Handbook of Process Algebra, chapter 17. Elsevier, 2001.","DOI":"10.1016\/B978-044482830-9\/50035-7"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"J.M.M. Hooman and J.C. van de Pol. Formal verification of replication on a distributed data space architecture. In Proceedings ACM SAC, Coordination Models, Languages and Applications, page (to appear), Madrid, 2002. ACM press.","DOI":"10.1145\/508791.508859"},{"key":"26_CR13","unstructured":"R. Mateescu. Verification des proprietes temporelles des programmes paralleles. PhD thesis, Institut National Polytechnique de Grenoble, 1998."},{"key":"26_CR14","unstructured":"SUN Microsystems. JavaSpaces\n                           tm\n                           Service Specification, 1.1 edition, October 2000. See \n                    http:\/\/java.sun.com\/products\/javaspaces\/\n                    \n                  ."},{"key":"26_CR15","unstructured":"SUN Microsystems. Jini\n                           tm\n                           Technology Core Platform Specification, 1.1 edition, October 2000. See \n                    http:\/\/www.sun.com\/jini\/specs\/\n                    \n                  ."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46000-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T19:31:24Z","timestamp":1550345484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}