{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:02Z","timestamp":1725664862938},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610526"},{"type":"electronic","value":"9783540499367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61052-9_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:12:13Z","timestamp":1330290733000},"page":"285-304","source":"Crossref","is-referenced-by-count":0,"title":["CCE: A process-calculus based formalism for specifying multi-object coordination"],"prefix":"10.1007","author":[{"given":"Manibrata","family":"Mukherji","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dennis","family":"Kafura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"18_CR1","unstructured":"R. Milner, Communication and Concurrency. Prentice Hall, 1989."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"N. Carriero and D. Gelernter. Linda In Context. Communications of the ACM, April, 1989, Vol. 32, Number 4.","DOI":"10.1145\/63334.63337"},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0167-6423(86)90018-3","volume":"6","author":"N. Francez","year":"1986","unstructured":"N. Francez, B. Hailpern, and G. Taubenfeld. Script: A Communication Abstraction Mechanism and its Verification. Science of Computer Programming, 6, 1986, pages 35\u201388, North-Holland.","journal-title":"Science of Computer Programming"},{"issue":"Number2","key":"18_CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/45941.45942","volume":"6","author":"A. W. Holt","year":"1988","unstructured":"A. W. Holt. Diplans: A New Language for the Study and Implementation of Coordination. ACM Transactions on Office Information Systems, Vol. 6, Number 2, pages 109\u2013125, April 1988.","journal-title":"ACM Transactions on Office Information Systems"},{"issue":"Number3","key":"18_CR5","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1145\/152388.152393","volume":"2","author":"P. Ciancarini","year":"1993","unstructured":"P. Ciancarini. Coordinating Rule-Based Software Processes with ESP. ACM Transactions on Software Engineering and Methodology, Vol. 2, Number 3, pages 203\u2013227, July 1993.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"18_CR6","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0164-1212(93)90027-U","volume":"21","author":"D. C. Luckham","year":"1993","unstructured":"D. C. Luckham et al., Partial Orderings of Event Sets and Their Application to Prototyping Concurrent, Timed Systems. Journal of Systems Software. Vol. 21, June 1993, pages 253\u2013265.","journal-title":"Journal of Systems Software"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"M. H. Olsen, E. Oskiewicz, J. P. Warne. A Model for Interface Groups. In Proceedings IEEE 10th Symposium on Reliable Distributed Systems, pages 98\u2013107, 1991.","DOI":"10.1109\/RELDIS.1991.145411"},{"key":"18_CR8","volume-title":"ANSA: Assumptions, Principles, and Structure","author":"ISA Project Core Team","year":"1991","unstructured":"ISA Project Core Team. ANSA: Assumptions, Principles, and Structure. In J. P. Warne, editor, Conference Proceedings of Software Engineering Environments 1991, University College of Wales, Aberystwyth, March, 1991."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"F. Arbab, I. Herman, and P. Spilling. An Overview of Manifold and its Implementation. Concurrency: Practice and Experience, February 1993, Vol 1, Number 1.","DOI":"10.1002\/cpe.4330050103"},{"key":"18_CR10","unstructured":"A. Corradi and L. Leonardi. PO Constraints as Tools to Synchronize Active Objects. Journal of Object-Oriented Programming, pages 41\u201353, Oct. 1991."},{"key":"18_CR11","unstructured":"C. Arapis. Specifying Object Interactions. In D. Tsichritzis, editor, Object Composition. University of Geneva, 1991."},{"key":"18_CR12","series-title":"LNCS 615","first-page":"287","volume-title":"Proceedings ECOOP'92","author":"I. M. Holland","year":"1992","unstructured":"I. M. Holland. Specifying Reusable Components Using Contracts. In O. Lehrmann Madsen, editor, Proceedings ECOOP'92, LNCS 615, pages 287\u2013308, Utrecht, The Netherlands, July, 1992. Springer-Verlag."},{"key":"18_CR13","unstructured":"R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. Prentice Hall, 1990."},{"key":"18_CR14","unstructured":"C. Atkinson, S. Goldsack, A. D. Maio, and R. Bayan. Object-Oriented Concurrency and Distribution in DRAGOON. Journal of Object-Oriented Programming, March\/April 1991."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Mario Tokoro. Computational Field Model: Toward a New Computational Model\/Methodology for Open Distributed Environment. In Proceedings of the 2nd IEEE Workshop on Future Trends in Distributed Computing Systems, Sept. 1990, Cairo, Egypt.","DOI":"10.1109\/FTDCS.1990.138370"},{"key":"18_CR16","series-title":"LNCS 707","first-page":"346","volume-title":"Proceedings ECOOP'93","author":"S. Frolund","year":"1993","unstructured":"S. Frolund and G. Agha. A Language Framework for Multi-Object Coordination. In O. Nierstrasz, editor, Proceedings ECOOP'93, LNCS 707, pages 346\u2013359, Germany, July, 1993. Springer-Verlag."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"J. Van Den Bos and C. Laffra. PROCOL: A Concurrent Object-Oriented Language with Protocols, Delegation, and Constraints. Acta Informatica, Vol. 28, Number 6, 1991.","DOI":"10.1007\/BF01463943"},{"key":"18_CR18","first-page":"152","volume-title":"LNCS 791","author":"M. Aksit","year":"1993","unstructured":"M. Aksit et al. Abstracting Object Interactions Using Composition Filters. Proceedings of the ECOOP'93 Workshop on Object-Based Distributed Programming, R. Guerraoui, O. Nierstrasz, and M. Rivelli editors, LNCS 791, pages 152\u2013184, Kaiserslautern, Germany, July 1993. Springer-Verlag."},{"key":"18_CR19","unstructured":"R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Parts I and II. Research Report. Laboratory for Foundations of Computer Science, University of Edinburgh, June 1989."},{"key":"18_CR20","volume-title":"LNCS 612","author":"O. Nierstrasz","year":"1991","unstructured":"Oscar Nierstrasz. Towards an Object Calculus. Proceedings of the ECOOP'91 Workshop on Object-Based Concurrent Computing, M. Tokoro, O. Nierstrasz, P. Wegner, A. Yonezawa editors, LNCS 612, Springer-Verlag, Geneva, Switzerland, July 15\u201316, 1991."},{"key":"18_CR21","volume-title":"Research Report","author":"D. Walker","year":"1990","unstructured":"D. Walker. Pi-Calculus Semantics of Object-Oriented Programming Languages. Research Report, University of Technology, Sydney. Sept. 1990."},{"key":"18_CR22","unstructured":"K. G. Larsen. Context-Dependent Bisimulation Between Processes. Doctoral Dissertation. University of Edinburgh, 1986."},{"key":"18_CR23","unstructured":"M. Mukherji. Specification of Multi-Object Coordination Schemes using Coordinating Environments. Doctoral Dissertation. Virginia Tech. July 1995."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"18_CR25","series-title":"LNCS 512","first-page":"133","volume-title":"Proceedings ECOOP '91","author":"K. Honda","year":"1991","unstructured":"K. Honda and M. Tokoro. An Object Calculus for Asynchronous Communication. In P. America, editor, Proceedings ECOOP '91, LNCS 512, pages 133\u2013147, Geneva, Switzerland, July 1991. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61052-9_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:16:40Z","timestamp":1640945800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61052-9_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610526","9783540499367"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-61052-9_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}