{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:25:46Z","timestamp":1754483146944},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030640","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:10:41Z","timestamp":1133417441000},"page":"772-786","source":"Crossref","is-referenced-by-count":13,"title":["Action refinement as an implementation relation"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"issue":"1","key":"59_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/147508.147527","volume":"39","author":"L. Aceto","year":"1992","unstructured":"L. Aceto and M. Hennessy. Termination, deadlock, and divergence. J. ACM, 39(1):147\u2013187, Jan. 1992.","journal-title":"J. ACM"},{"key":"59_CR2","first-page":"204","volume":"103","author":"L. Aceto","year":"1993","unstructured":"L. Aceto and M. Hennessy. Towards action-refinement in process algebras. I&C 103:204\u2013269, 1993.","journal-title":"I&C"},{"key":"59_CR3","first-page":"179","volume":"115","author":"L. Aceto","year":"1994","unstructured":"L. Aceto and M. Hennessy. Adding action refinement to a finite process algebra I&C, 115:179\u2013247, 1994.","journal-title":"I&C"},{"doi-asserted-by":"crossref","unstructured":"E. Brinksma, B. Jonsson, and F. Orava. Refining interfaces of communicating systems. In Abramsky and Maibaum, eds., TAPSOFT '91, Volume 2, vol. 494 of LNCS, pp. 297\u2013312. Springer, 1991.","key":"59_CR4","DOI":"10.1007\/3540539816_73"},{"key":"59_CR5","first-page":"12","volume":"31","author":"L. Castellano","year":"1987","unstructured":"L. Castellano, G. De Michelis, and L. Pomello. Concurrency vs. interleaving: An instructive example. Bull. EATCS, 31:12\u201315, 1987.","journal-title":"Bull. EATCS"},{"doi-asserted-by":"crossref","unstructured":"I. Czaja, R. J. van Glabbeek, and U. Goltz. Interleaving semantics and action refinement with atomic choice. In Rozenberg, ed., Advances in Petri Nets 1992, vol. 609 of LNCS, pp. 89\u2013109. Springer, 1992.","key":"59_CR6","DOI":"10.1007\/3-540-55610-9_169"},{"key":"59_CR7","first-page":"97","volume":"122","author":"P. Degano","year":"1995","unstructured":"P. Degano and R. Gorrieri. A causal operational semantics of action refinement. I&C, 122:97\u2013119, 1995.","journal-title":"I&C"},{"doi-asserted-by":"crossref","unstructured":"P. Degano, R. Gorrieri, and G. Rosolini. A categorical view of process refinement. In De Bakker, De Roever, and Rozenberg, eds., Semantics: Foundations and Applications, vol. 666 of LNCS, pp. 138\u2013153. Springer, 1992.","key":"59_CR8","DOI":"10.1007\/3-540-56596-5_32"},{"doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek. The linear time \u2014 branching time spectrum II: The semantics of sequential systems with silent moves. In Best, ed., Concur '93, vol. 715 of LNCS, pp. 66\u201381. Springer, 1993.","key":"59_CR9","DOI":"10.1007\/3-540-57208-2_6"},{"doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek and U. Goltz. Refinement of actions in causality based models. In De Bakker, De Roever, and Rozenberg, eds., Stepwise Refinement of Distributed Systems \u2014 Models, Formalisms, Correctness, vol. 430 of LNCS, pp. 267\u2013300. Springer, 1990.","key":"59_CR10","DOI":"10.1007\/3-540-52559-9_68"},{"issue":"2","key":"59_CR11","first-page":"118","volume":"125","author":"U. Goltz","year":"1996","unstructured":"U. Goltz, R. Gorrieri, and A. Rensink. Comparing syntactic and semantic action refinement. I&C, 125(2):118\u2013143, Mar. 1996.","journal-title":"I&C"},{"key":"59_CR12","doi-asserted-by":"crossref","first-page":"289","DOI":"10.3233\/FI-1992-163-406","volume":"16","author":"R. Gorrieri","year":"1992","unstructured":"R. Gorrieri. A hierarchy of system descriptions via atomic linear refinement. Fund. Informaticae, 16:289\u2013336, 1992.","journal-title":"Fund. Informaticae"},{"doi-asserted-by":"crossref","unstructured":"M. Huhn. Action refinement and property inheritance in systems of sequential agents. In Montanari and Sassone, eds., Concur '96: Concurrency Theory, vol. 1119 of LNCS, pp. 639\u2013654. Springer, 1996.","key":"59_CR13","DOI":"10.1007\/3-540-61604-7_81"},{"doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, and J. Zwiers. Actions systems and action refinement in the development of parallel systems. In Baeten and Groote, eds., Concur '91, vol. 527 of LNCS, pp. 298\u2013316. Springer, 1991.","key":"59_CR14","DOI":"10.1007\/3-540-54430-5_96"},{"unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989.","key":"59_CR15"},{"doi-asserted-by":"crossref","unstructured":"M. Nielsen, U. Engberg, and K. G. Larsen. Fully abstract models for a process language with refinement. In De Bakker, De Roever, and Rozenberg, eds., Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, vol. 354 of LNCS, pp. 523\u2013549. Springer, 1989.","key":"59_CR16","DOI":"10.1007\/BFb0013034"},{"unstructured":"A. Rensink. Methodological aspects of action refinement. In Olderog, ed., Programming Concepts, Methods and Calculi, pp. 227\u2013246. IFIP, 1994.","key":"59_CR17"},{"doi-asserted-by":"crossref","unstructured":"A. Rensink. An event-based SOS for a language with refinement. In Desel, ed., Structures in Concurrency Theory, pp. 294\u2013309. Springer, 1995.","key":"59_CR18","DOI":"10.1007\/978-1-4471-3078-9_20"},{"key":"59_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF01798961","volume":"4","author":"W. Vogler","year":"1991","unstructured":"W. Vogler. Failures semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 4:139\u2013162, 1991.","journal-title":"Distributed Computing"},{"key":"59_CR20","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(93)90157-O","volume":"114","author":"W. Vogler","year":"1993","unstructured":"W. Vogler. Bisimulation and action refinement. TCS, 114:173\u2013200, 1993.","journal-title":"TCS"},{"unstructured":"H. Wehrheim. Parametric action refinement. In Olderog, ed., Programming Concepts, Methods and Calculi, pp. 247\u2013266. IFIP, 1994.","key":"59_CR21"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T20:18:02Z","timestamp":1626812282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030640"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0030640","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}