{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:41Z","timestamp":1725467441782},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_88","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"302-319","source":"Crossref","is-referenced-by-count":2,"title":["Coordinating action systems"],"prefix":"10.1007","author":[{"given":"Eric J.","family":"Hedman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaisa","family":"Sere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Los Alamos, California, 1986."},{"key":"20_CR2","unstructured":"R. J. R. Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, Department of Computer Science, University of Helsinki, Helsinki, Finland, 1978. Report A-1978-4."},{"key":"20_CR3","unstructured":"R. J. R. Back. Refinement calculus, part II: Parallel and reactive programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989, volume 430 of Lecture Notes in Computer Science. Springer-Verlag, 1990."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131\u2013142, 1983.","DOI":"10.1145\/800221.806716"},{"key":"20_CR5","first-page":"17","volume":"12","author":"R.J.R. Back","year":"1991","unstructured":"R.J.R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12:17\u201330, 1991.","journal-title":"Structured Programming"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and K. Sere. From modular systems to action systems. Proc. of Formal Methods Europe'94, Spain, October 1994. Lecture Notes in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58555-9_83"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and J. von Wright. Trace Refinement of Action Systems In B. Jonsson, J. Parrow, editors, CONCUR '94: Concurrency Theory. Proceedings. 1994, volume 836 of Lecture Notes in Computer Science, pages 367\u2013384. Springer-Verlag, 1994","DOI":"10.1007\/978-3-540-48654-1_28"},{"issue":"1","key":"20_CR8","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J.-P. Ban\u00e2tre","year":"1993","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer. Programming by multiset transformation. Communications of the ACM, 36(1):98\u2013111, January 1993.","journal-title":"Communications of the ACM"},{"issue":"2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"N. Carriero","year":"1992","unstructured":"N. Carriero and D. Gelernter. Coordination languages and their significance. Communications of the ACM, 35(2):97\u2013107, February 1992.","journal-title":"Communications of the ACM"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"M. Chaudron and E. de Jong. Towards a Compositional Method for Coordinating Gamma Programs. In [12].","DOI":"10.1007\/3-540-61052-9_42"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"P. Ciancarini and C. Hankin, editors. Coordination'96: Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61052-9"},{"issue":"3","key":"20_CR13","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1109\/71.80163","volume":"1","author":"H.C. Cunningham","year":"1990","unstructured":"H.C. Cunningham and G.C. Roman. A Unity-style programming logic for a shared dataspace language. IEEE Transactions on Parallel and Distributed Systems, 1(3):365\u2013376, July 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"20_CR14","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"H. J. M. Goeman, J. N. Kok, K. Sere, and R. T. Udink. Coordination in the Impunity Framework. In [12].","DOI":"10.1007\/3-540-61052-9_48"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"H. J. M. Goeman, J. N. Kok, K. Sere, and R. T. Udink. Coordination in the Imp unity Framework. TUCS Technical Report No 50, October 1996. Turku, Finland.","DOI":"10.1007\/3-540-61052-9_48"},{"issue":"3","key":"20_CR17","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C. C. Morgan","year":"1988","unstructured":"C. C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3):403\u2013419, July 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J. M. Morris","year":"1987","unstructured":"J. M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9:287\u2013306, 1987.","journal-title":"Science of Computer Programming"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"S. Ren and G. Agha. A Modular Approach for Programming Distributed Real-Time Systems. In Hand-Out, European Educational Forum, School on Embedded Systems, November 1996, Veldhoven, NL.","DOI":"10.1006\/jpdc.1996.0086"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"E. Sekerinski and K. Sere. A theory of prioritizing composition. The Computer Journal. To appear.","DOI":"10.1093\/comjnl\/39.8.701"},{"key":"20_CR21","unstructured":"R.T. Udink. Program Refinement in unity-like Environments. PhD Thesis, Utrecht University, September 1995"}],"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-63383-9_88","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,29]],"date-time":"2021-07-29T19:26:52Z","timestamp":1627586812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_88","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}