{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:49:37Z","timestamp":1725490177466},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678977"},{"type":"electronic","value":"9783540446187"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44618-4_22","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T10:38:51Z","timestamp":1188297531000},"page":"290-305","source":"Crossref","is-referenced-by-count":4,"title":["Action Contraction"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1006\/inco.1993.1019","volume":"103","author":"L. Aceto","year":"1993","unstructured":"L. Aceto and M. C. B. Hennessy. Towards action-refinement in process algebras. Information and Computation, 103:204\u2013269, 1993.","journal-title":"Information and Computation"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/inco.1994.1096","volume":"115","author":"L. Aceto","year":"1994","unstructured":"L. Aceto and M. C. B. Hennessy. Adding action refinement to a finite process algebra. Information and Computation, 115:179\u2013247, 1994.","journal-title":"Information and Computation"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"G. Boudol and I. Castellani. Concurrency and atomicity. Theoretical Comput. Sci., 59:25\u201384, 1988.","journal-title":"Theoretical Comput. Sci."},{"key":"22_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/3540539816_73","volume-title":"TAPSOFT\u2019 91","author":"E. Brinksma","year":"1991","unstructured":"E. Brinksma, B. Jonsson, and F. Orava. Refining interfaces of communicating systems. In S. Abramsky and T. S. E. Maibaum, eds., TAPSOFT\u2019 91, Volume 2, vol. 494 of Lecture Notes in Computer Science, pp. 297\u2013312. Springer-Verlag, 1991."},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0020-0190(91)90081-R","volume":"40","author":"F. Cherief","year":"1991","unstructured":"F. Cherief and P. Schnoebelen. \u03c4-bisimulation and full abstraction for refinement of actions. Information Processing Letters, 40:219\u2013222, 1991.","journal-title":"Information Processing Letters"},{"key":"22_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Concur\u2019 92","year":"1992","unstructured":"W. R. Cleaveland, ed. Concur\u2019 92, vol. 630 of Lecture Notes in Computer Science. Springer-Verlag, 1992."},{"key":"22_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BFb0084784","volume-title":"Concur\u2019 92","author":"R. Gerth","year":"1992","unstructured":"R. Gerth, R. Kuiper, and J. Segers. Interface refinement in reactive systems. In W. R. Cleaveland [8], pp. 77\u201393."},{"key":"22_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"Concur\u2019 93","author":"R. J. Glabbeek van","year":"1993","unstructured":"R. J. van Glabbeek. The linear time-branching time spectrum II: The semantics of sequential systems with silent moves. In E. Best, ed., Concur\u2019 93, vol. 715 of Lecture Notes in Computer Science, pp. 66\u201381. Springer-Verlag, 1993."},{"key":"22_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE \u2014 Parallel Architectures and Languages Europe, Volume II: Parallel Languages","author":"R. J. Glabbeek van","year":"1987","unstructured":"R. J. van Glabbeek and F. W. Vaandrager. Petri Net models for algebraic theories of concurrency. In J. W. de Bakker, A. J. Nijman, and P. C. Treleaven, eds., PARLE \u2014 Parallel Architectures and Languages Europe, Volume II: Parallel Languages, vol. 259 of Lecture Notes in Computer Science, pp. 224\u2013242. Springer-Verlag, 1987."},{"issue":"2","key":"22_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1997.2634","volume":"136","author":"R. J. Glabbeek van","year":"1997","unstructured":"R. J. van Glabbeek and F. W. Vaandrager. The difference between splitting in n and n + 1. Information and Computation, 136(2):109\u2013142, 1997.","journal-title":"Information and Computation"},{"issue":"3","key":"22_CR13","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R. J. vanGlabbeek","year":"1996","unstructured":"R. J. vanGlabbeek and W. P. Weijland. Branching time and abstraction in bisimulation semantics. J. ACM, 43(3):555\u2013600, May 1996.","journal-title":"J. ACM"},{"issue":"1","key":"22_CR14","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1006\/inco.1995.1066","volume":"116","author":"R. Gorrieri","year":"1995","unstructured":"R. Gorrieri and C. Laneve. Split and ST bisimulation semantics. Information and Computation, 116(1):272\u2013288, Jan. 1995.","journal-title":"Information and Computation"},{"key":"22_CR15","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":"22_CR16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1090\/dimacs\/029\/04","volume":"29","author":"S. Katz","year":"1997","unstructured":"S. Katz. Refinement with global equivalence proofs in temporal logic. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 29:59\u201378, 1997.","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"issue":"2","key":"22_CR17","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/5383.5384","volume":"33","author":"L. Lamport","year":"1986","unstructured":"L. Lamport. The mutual exclusion problem, part I \u2014 a theory of interprocess communication. J. ACM, 33(2):313\u2013326, Apr. 1986.","journal-title":"J. ACM"},{"key":"22_CR18","unstructured":"R. Langerak. Transformations and Semantics for LOTOS. PhD thesis, University of Twente, Nov. 1992."},{"key":"22_CR19","volume-title":"Atomic Transactions","author":"N. A. Lynch","year":"1994","unstructured":"N. A. Lynch, M. Merritt, W. E. Weihl, and A. Fekete. Atomic Transactions. Morgan Kaufmann, San Mateo, 1994."},{"key":"22_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems, vol. 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980."},{"key":"22_CR21","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"22_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-61604-7_55","volume-title":"Concur\u2019 96: Concurrency Theory","author":"U. Nestmann","year":"1996","unstructured":"U. Nestmann and B. Pierce. Decoding choice encodings. In U. Montanari and V. Sassone, eds., Concur\u2019 96: Concurrency Theory, vol. 1119 of Lecture Notes in Computer Science, pp. 179\u2013194. Springer-Verlag, 1996."},{"key":"22_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/BFb0084813","volume-title":"Concur\u2019 92","author":"J. Parrow","year":"1992","unstructured":"J. Parrow and P. Sj\u00f6din. Multiway synchronization verified with coupled simulation. In W. R. Cleaveland [8], pp. 518\u2013533."},{"key":"22_CR24","series-title":"Lect Notes Comput Sci","first-page":"557","volume-title":"STACS 94","author":"J. Parrow","year":"1994","unstructured":"J. Parrow and P. Sj\u00f6din. The complete axiomatization of Cs-congruence. In R. Enjalbert, E. W. Mayr, and K. W. Wagner, s., STACS 94, vol. 775 of Lecture Notes in Computer Science, pp. 557\u2013568. Springer-Verlag, 1994."},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"A. Rensink. A theory of action contraction, 2000. Full version (including proofs): http:\/\/www.cs. utwente.nl\/~rensink\/contract.ps.gz.","DOI":"10.1007\/3-540-44618-4_22"},{"key":"22_CR26","unstructured":"A. Rensink and R. Gorrieri. Vertical implementation. Information and Computation, 2000 (to appear). Extended version of \u201cVertical Bisimulation\u201d (TAPSOFT\u2019 97); see also Hildesheimer Informatik-Bericht 9\/98, University of Hildesheim."},{"key":"22_CR27","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"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2000 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44618-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:02:29Z","timestamp":1684004549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44618-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678977","9783540446187"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-44618-4_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}