{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:28:52Z","timestamp":1725568132972},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208136"},{"type":"electronic","value":"9783540398660"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-39866-0_21","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T16:30:09Z","timestamp":1288024209000},"page":"192-206","source":"Crossref","is-referenced-by-count":0,"title":["Verification of Distributed Dataspace Architectures"],"prefix":"10.1007","author":[{"given":"Simona","family":"Orzan","sequence":"first","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.P. Ban\u00e2tre","year":"1990","unstructured":"Ban\u00e2tre, J.P., Le M\u00e9tayer, D.: The GAMMA model and its discipline of programming. Science of Computer Programming\u00a015, 55\u201377 (1990)","journal-title":"Science of Computer Programming"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"Computer Aided Verification","author":"S.C.C. Blom","year":"2001","unstructured":"Blom, S.C.C., Fokkink, W.J., Groote, J.F., Langevelde, I.A., Lisser, B., van de Pol, J.C.: \u03bcCRL: a toolset for analysing algebraic specifications. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 250\u2013254. Springer, Heidelberg (2001)"},{"issue":"7","key":"21_CR3","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1109\/9.231463","volume":"38","author":"M. Boasson","year":"1993","unstructured":"Boasson, M.: Control systems software. IEEE Transactions on Automatic Control\u00a038(7), 1094\u20131106 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"21_CR4","first-page":"146","volume-title":"Proceedings of the 1999 ACM Symposium on Applied Computing (SAC 1999)","author":"M.M. Bonsangue","year":"1999","unstructured":"Bonsangue, M.M., Kok, J.N., Zavattaro, G.: Comparing coordination models based on shared distributed replicated data. In: Carroll, J., Haddad, H., Oppenheim, D., Bryant, B., Lamont, G.B. (eds.) Proceedings of the 1999 ACM Symposium on Applied Computing (SAC 1999), San Antonio, Texas, USA, February 1999, pp. 146\u2013155. ACM press, New York (1999)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-45499-3_16","volume-title":"Algebraic Methodology and Software Technology","author":"N. Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: Process calculi for coordination: From linda to javaSpaces. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, p. 198. Springer, Heidelberg (2000)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45745-3_27","volume-title":"Web Engineering and Peer-to-Peer Computing","author":"N. Busi","year":"2002","unstructured":"Busi, N., Manfredini, C., Montresor, A., Zavattaro, G.: Towards a data-driven coordination infrastructure for peer-to-peer systems. In: Gregori, E., Cherkasova, L., Cugola, G., Panzieri, F., Picco, G.P. (eds.) NETWORKING 2002. LNCS, vol.\u00a02376. Springer, Heidelberg (2002)"},{"key":"21_CR7","volume-title":"Proc. of WETICE 2001","author":"N. Busi","year":"2001","unstructured":"Busi, N., Zavattaro, G.: Publish\/subscribe vs. shared dataspace coordination infrastructures. In: Proc. of WETICE 2001. IEEE Press, Los Alamitos (2001)"},{"key":"21_CR8","volume-title":"How to Write Parallel Programs: A First Course","author":"N. Carriero","year":"1990","unstructured":"Carriero, N., Gelernter, D.: How to Write Parallel Programs: A First Course. MIT Press, Cambridge (1990)"},{"issue":"2-3","key":"21_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0167-6423(97)00022-1","volume":"31","author":"P. Ciancarini","year":"1998","unstructured":"Ciancarini, P., Mazza, M., Pazzaglia, L.: A logic for a coordination model with multiple spaces. Science of Computer Programming\u00a031(2-3), 231\u2013261 (1998)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1109\/71.80163","volume":"1","author":"H. Cunningham","year":"1990","unstructured":"Cunningham, H., Roman, G.-C.: A Unity-style programming logic for shared dataspace programs. IEEE Transactions on Parallel and Distributed Systems\u00a01(3), 365\u2013376 (1990)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"21_CR11","volume-title":"Fifth Workshop on Object-oriented Real-Time Dependable Systems (WORDS 1999F)","author":"P.F.G. Dechering","year":"2000","unstructured":"Dechering, P.F.G., de Jong, E.: Transparent object replication: A formal model. In: Fifth Workshop on Object-oriented Real-Time Dependable Systems (WORDS 1999F), Monterey, California, USA. IEEE Computer Society, Los Alamitos (2000)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/3-540-45263-X_25","volume-title":"Coordination Languages and Models","author":"P.F.G. Dechering","year":"2000","unstructured":"Dechering, P.F.G., van Langevelde, I.A.: The verification of coordination. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 335\u2013340. Springer, Heidelberg (2000)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Garavel, H., Kerbrat, A., Mounier, L., Mateescu, R., Sighireanu, M.: CADP \u2013 a protocol validation and verification toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 437\u2013440. Springer, Heidelberg (1996)"},{"unstructured":"Message Passing Interface Forum. MPI: A Message-Passing Interface standard. Technical Report UT-CS-94-230 (1994)","key":"21_CR14"},{"key":"21_CR15","volume-title":"JavaSpaces principles, patterns, and practice","author":"E. Freeman","year":"1999","unstructured":"Freeman, E., Hupfer, S., Arnold, K.: JavaSpaces principles, patterns, and practice. Addison-Wesley, Reading (1999)"},{"key":"21_CR16","series-title":"ch. 17","volume-title":"Handbook of Process Algebra","author":"J.F. Groote","year":"2001","unstructured":"Groote, J.F., Reniers, M.A.: Algebraic process verification. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra. ch. 17. Elsevier, Amsterdam (2001)"},{"key":"21_CR17","first-page":"97","volume-title":"12th IEEE International Workshop on Rapid System Prototyping","author":"D. Hansel","year":"2001","unstructured":"Hansel, D., Cleaveland, R., Smolka, S.: Distributed prototyping from validated specifications. In: 12th IEEE International Workshop on Rapid System Prototyping, June 2001, pp. 97\u2013102. IEEE Computer Society Press, Los Alamitos (2001)"},{"doi-asserted-by":"crossref","unstructured":"Hooman, J.M.M., van de Pol, J.C.: Equivalent semantic models for a distributed dataspace architecture. In: Proceedings of the First International Symposium on Formal Methods for Components and Objects. LNCS (2002) (to appear)","key":"21_CR18","DOI":"10.1007\/978-3-540-39656-7_7"},{"key":"21_CR19","first-page":"351","volume-title":"Proceedings of SAC 2002 (Madrid)","author":"J.M.M. Hooman","year":"2002","unstructured":"Hooman, J.M.M., van de Pol, J.C.: Formal verification of replication on a distributed data space architecture. In: Proceedings of SAC 2002 (Madrid), pp. 351\u2013358. ACM, New York (2002)"},{"key":"21_CR20","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/ASWEC.2000.844572","volume-title":"Proc. of 12th Australian Software Engineering Conference","author":"K. Lichtner","year":"2000","unstructured":"Lichtner, K., Alencar, P., Cowan, D.: A framework for software architecture verification. In: Proc. of 12th Australian Software Engineering Conference, pp. 149\u2013158. IEEE Computer Society, Los Alamitos (2000)"},{"key":"21_CR21","volume-title":"Electronic Notes in Theoretical Computer Science","author":"S. Orzan","year":"2002","unstructured":"Orzan, S., van de Pol, J.: Distribution of a simple shared dataspace architecture. In: Brogi, A., Jacquet, J.-M. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a068. Elsevier Science Publishers, Amsterdam (2002)"},{"key":"21_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-46000-4_26","volume-title":"Coordination Models and Languages","author":"J.C. Pol van de","year":"2002","unstructured":"van de Pol, J.C., Valero Espada, M.: Formal specification of JavaSpacesTM architecture using \u03bcCRL. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol.\u00a02315, pp. 274\u2013290. Springer, Heidelberg (2002)"},{"key":"21_CR23","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1109\/HICSS.1997.667285","volume-title":"Proceedings of the 30th Annual Hawaii International Conference on System Sciences","author":"A.I.T. Rowstron","year":"1997","unstructured":"Rowstron, A.I.T., Wood, A.M.: Bonita: a set of tuple space primitives for distributed coordination. In: Proceedings of the 30th Annual Hawaii International Conference on System Sciences, pp. 379\u2013388. IEEE Computer Society Press, Los Alamitos (1997)"},{"issue":"3","key":"21_CR24","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/A:1019263731139","volume":"1","author":"A.I.T. Rowstron","year":"1998","unstructured":"Rowstron, A.I.T.: WCL:A co-ordination language for geographically distributed agents. World Wide Web\u00a01(3), 167\u2013179 (1998)","journal-title":"World Wide Web"},{"doi-asserted-by":"crossref","unstructured":"Tolksdorf, R., Rojec-Goldmann, G.: The SPACETUB models and framework. In: Coordination Models and Languages, pp. 348\u2013363 (2002)","key":"21_CR25","DOI":"10.1007\/3-540-46000-4_32"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39866-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T21:22:52Z","timestamp":1559769772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39866-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208136","9783540398660"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39866-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}