{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:10Z","timestamp":1762458550279},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_20","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T22:17:36Z","timestamp":1180477056000},"page":"191-206","source":"Crossref","is-referenced-by-count":7,"title":["Operational Semantics for Coordination in Paradigm"],"prefix":"10.1007","author":[{"given":"Luuk","family":"Groenewegen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"de Vink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"20_CR1","volume-title":"Manifold version 2: Language reference manual","author":"F. Arbab","year":"1996","unstructured":"F. Arbab. Manifold version 2: Language reference manual. CWI, Amsterdam, 1996."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg. Team automata for spatial access control. In ECSCW 2001, European Conference on Computer Supported Cooperative Work. Kluwer, 2001.","DOI":"10.1007\/0-306-48019-0_4"},{"key":"20_CR3","unstructured":"R. Ben-Natan. CORBA, a Guide to Common Object Request Broker Architecture. McGraw-Hill, 1995."},{"key":"20_CR4","unstructured":"J.A. Bergstra, A. Ponse, and S.A. Smolka. Handbook of Process Algebra. Elsevier Science, 2001."},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(99)00226-1","volume":"240","author":"M.M. Bonsangue","year":"2000","unstructured":"M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutella, and G. Zavattaro. A transition system semantics for the control-driven coordination language MANIFOLD. Theoretical Computer Science, 240:3\u201347, 2000.","journal-title":"Theoretical Computer Science"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31:560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"key":"20_CR7","unstructured":"A. de Bruin and S. van der Made. Introduction to Paradigm. Technical Report ERS-2002-09-LIS, Erasmus University Rotterdam, 2002."},{"key":"20_CR8","first-page":"71","volume-title":"Software Process Modelling and Technology","author":"G. Engels","year":"1994","unstructured":"G. Engels and L.P.J. Groenewegen. Socca: Specifications of coordinated and cooperative activities. In A. Finkelstein, J. Kramer, and B.A. Nuseibeh, editors, Software Process Modelling and Technology, pages 71\u2013102. Research Studies Press, Taunton, 1994."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"G. Engels and L.P.J. Groenewegen. Object-oriented modeling: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering, 22nd International Conferenece on Software Engineering, pages 103\u2013116. ACM Press, 2000.","DOI":"10.1145\/336512.336541"},{"key":"20_CR10","unstructured":"G. Engels, L.P.J. Groenewegen, and G. Kappel. Coordinated collaboration of objects. In M.P. Papazoglou, S. Spaccapietra, and Z. Tari, editors, Advances in Object-Oriented Data Modeling, pages 307\u2013331. The MIT Press, 2000."},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"20_CR12","unstructured":"P.J. \u2019t Hoen. Towards Distributed Development of Large Object-Oriented Models. PhD thesis, LIACS, Leiden University, 2001."},{"key":"20_CR13","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"20_CR14","unstructured":"M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996."},{"key":"20_CR15","unstructured":"M.R. van Steen, L.P.J. Groenewegen, and G. Oosting. Parallel control processes: Modular parallelism and communication. In L.O. Hertzberger, editor, Intelligent Autonomous Systems, pages 562\u2013579. North-Holland, 1987."},{"key":"20_CR16","unstructured":"R. Suettenbach. Formalisierung visueller Modellierungssprachen Objektorientierter Methoden. PhD thesis, Dept. of Comp. Sc., Universit\u00e4t Koblenz-Landau, 2001."}],"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_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T19:26:55Z","timestamp":1550345215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}