{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:48Z","timestamp":1725664608900},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:24Z","timestamp":1330297104000},"page":"248-262","source":"Crossref","is-referenced-by-count":2,"title":["Action-based concurrency and synchronization for objects"],"prefix":"10.1007","author":[{"given":"Ralph","family":"Back","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"B\u00fcchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil","family":"Sekerinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Gul Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"issue":"4","key":"17_CR2","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01887214","volume":"1","author":"P. America","year":"1989","unstructured":"Pierre America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366\u2013411, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"R. Back. Refinement calculus, part II: Parallel and reactive programs. In Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. LNCS 430, Springer Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_61"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"R. Back. Refinement of parallel and reactive programs. In M. Broy, editor, Program Design Calculi, NATO ASI Series, pages 73\u201392. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02880-3_3"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"R. Back and M. Butler. Exploring summation and product operators in the refinement calculus. Technical Report on Computer Science & Mathematics, Ser. A. No 152, \u00c5bo Akademi, 1994.","DOI":"10.1007\/3-540-60117-1_8"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R. Back","year":"1988","unstructured":"R. Back and R. Kurki-Suonio. Distributed co-operation with action systems. ACM Transactions on Programming Languages and Systems 10:513\u2013554, 1988.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR7","unstructured":"R. Back and K. Sere. Action systems with synchronous communication. In IFIP TC 2 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), pages 107\u2013126. Elsevier, 1994."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"R. Back and K. Sere. From action systems to modular systems. In Proceeding of Formal Methods Europe '94. LNCS 873, Springer Verlag, 1994.","DOI":"10.1007\/3-540-58555-9_83"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"R. Back and J. von Wright. Trace refinement of action systems. In CONCUR 94, pages 367\u2013384. LNCS 836, Springer Verlag, 1994.","DOI":"10.1007\/978-3-540-48654-1_28"},{"key":"17_CR10","unstructured":"Craig Chambers and Gary T. Leavens. Type checking and modules for multi-methods. Technical Report #95-19, Iowa State University, August 1995."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design\u2014A Foundation. Addison Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"17_CR12","unstructured":"K.M. Chandy. A discipline of multiprogramming. Available from the PSP group's ftp site ftp:\/\/ftp.cs.utexas.edu\/pub\/psp\/seuss\/discipline.ps.Z, June 1996."},{"key":"17_CR13","unstructured":"N. Francez and I. Forman. Interacting Processes: A Multiparty Approach to Coordinated Distributed Programming. ACM Press, 1996."},{"key":"17_CR14","unstructured":"Eric J. Hedman. Action-Oberon. Master's thesis, \u00c5bo Akademi University, 1995."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Carl Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3), 1977.","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"17_CR16","first-page":"142","volume-title":"DisCo specification language: Marriage of action and objects","author":"H.-M. J\u00e4rvinen","year":"1991","unstructured":"H.-M. J\u00e4rvinen and R. Kurki-Suonio. DisCo specification language: Marriage of action and objects. In Proceedings of 11th International Conference on Distributed Computing Systems, pages 142\u2013151, Arlington, Texas, 1991. IEEE Computer Society Press."},{"key":"17_CR17","unstructured":"R.E. Johnson and B. Foote. Designing reusable classes. Journal of Object-Oriented Programming, June 1:2 1988."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Cliff B. Jones. A \u03c0-calculus semantics for an object-based design notation. In Proceedings of CONCUR 93, pages 158\u2013172. LNCS 715, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_12"},{"key":"17_CR19","unstructured":"C.E. Martin. Preordered Categories and Predicate Transformers. PhD thesis. Programming Research Group, Oxford University, 1991."},{"key":"17_CR20","volume-title":"PhD thesis","author":"D.A. Naumann","year":"1992","unstructured":"D.A. Naumann. Two-Categories and Program Structure: Data Types, Refinement Calculi, and Predicate Transformers. PhD thesis, University of Texas at Austin, 1992."},{"key":"17_CR21","unstructured":"Oberon microsystems, Inc. Oberon\/F. http:\/\/www.oberon.ch, 1995."},{"key":"17_CR22","first-page":"179","volume":"12","author":"P. M\u00f6ssenb\u00f6ck","year":"1991","unstructured":"P. M\u00f6ssenb\u00f6ck and N. Wirth. The programming language Oberon-2. Structured Programming 12:179\u2013195, 1991.","journal-title":"Structured Programming"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Clemens A. Szyperski. Import is not inheritance \u2014 Why we need both: Modules and classes. In Proceedings of ECOOP 92, pages 19\u201332. LNCS 615, Springer Verlag, 1992.","DOI":"10.1007\/BFb0053028"},{"key":"17_CR24","unstructured":"Clemens A. Szyperski. Independently extensible systems \u2014 software engineering potential and challenges. In Proceedings of the 19th Austalasian Computer Science Conference, Melbourne, 1996."},{"issue":"2","key":"17_CR25","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D.J. Walker","year":"1995","unstructured":"D.J. Walker. Objects in the \u03c0-calculus. Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T07:29:16Z","timestamp":1593761356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}