{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:40Z","timestamp":1725664000964},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578871"},{"type":"electronic","value":"9783540483830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57887-0_106","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:37:52Z","timestamp":1330263472000},"page":"385-404","source":"Crossref","is-referenced-by-count":10,"title":["On syntactic and semantic action refinement"],"prefix":"10.1007","author":[{"given":"Ursula","family":"Goltz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto and M. Hennessy. Adding action refinement to a finite process algebra. In J. Leach Albert, B. Monien, and M. R. Artalejo, editors, Automata, Languages and Programming, volume 510 of Lecture Notes in Computer Science, pages 506\u2013519. Springer-Verlag, 1991. To apear in Information and Computation.","DOI":"10.1007\/3-540-54233-7_159"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1006\/inco.1993.1019","volume":"103","author":"L. Aceto","year":"1993","unstructured":"L. Aceto and M. Hennessy. Towards action-refinement in process algebras. Information and Computation, 103:204\u2013269, 1993.","journal-title":"Information and Computation"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and J. Esparza. General refinement and recursion operators for the Petri box calculus. In P. Enjalbert, A. Finkel, and K. W. Wagner, editors, STACS 93, volume 665 of Lecture Notes in Computer Science, pages 130\u2013140. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56503-5_16"},{"key":"20_CR4","first-page":"136","volume":"38","author":"G. Boudol","year":"1989","unstructured":"G. Boudol. Atomic actions. Bull. Eur. Ass. Theoret. Comput. Sci., 38:136\u2013144, June 1989. note.","journal-title":"Bull. Eur. Ass. Theoret. Comput. Sci."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"G. Boudol and I. Castellani. Permutations of transitions: An event structure semantics for CCS and SCCS. In de Bakker et al. [9], pages 411\u2013427.","DOI":"10.1007\/BFb0013028"},{"key":"20_CR6","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. Eur. Ass. Theoret. Comput. Sci., 31:12\u201315, 1987.","journal-title":"Bull. Eur. Ass. Theoret. Comput. Sci."},{"key":"20_CR7","unstructured":"R. Costantini. Eine kompositionelle Semantik f\u00fcr eine CCSP-artige Sprache auf der Grundlage von Konfigurationsstrukturen. Universit\u00e4t Hildesheim; draft, 1992."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"P. Darondeau and P. Degano. Event structures, causal trees, and refinement. In B. Rovan, editor, Mathematical Foundations of Computer Science 1990, volume 452 of Lecture Notes in Computer Science, pages 239\u2013245. Springer-Verlag, 1990. To appear in Theoretical Comput. Sci.","DOI":"10.1007\/BFb0029614"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013019"},{"key":"20_CR10","unstructured":"P. Degano and R. Gorrieri. An operational definition of action refinement. Technical Report TR-28\/92, Universit\u00e0 di Pisa, 1992."},{"key":"20_CR11","unstructured":"U. Goltz, R. Gorrieri, and A. Rensink. On syntactic and semantic action refinement. Manuscript (extended version of Hildesheimer Informatik-Berichte 92-17, Universit\u00e4t Hildesheim), 1993."},{"key":"20_CR12","unstructured":"R. Gorrieri. Refinement, Atomicity and Transactions for Process Description Languages. PhD thesis, Universit\u00e0 di Pisa, 1991. report no. TD-2\/91."},{"key":"20_CR13","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0304-3975(90)90035-G","volume":"72","author":"R. Gorrieri","year":"1990","unstructured":"R. Gorrieri, S. Marchetti, and U. Montanari. A2CSS: Atomic actions for CCS. Theoretical Comput. Sci., 72:203\u2013223, 1990.","journal-title":"Theoretical Comput. Sci."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"L. Jategaonkar and A. Meyer. Testing equivalences for Petri nets with action refinement. In W. R. Cleaveland, editor, Concur '92, volume 630 of Lecture Notes in Computer Science, pages 17\u201331. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084780"},{"key":"20_CR15","unstructured":"L. Jategaonkar and A. Meyer. Self-synchronization of concurrent processes. Preliminary Report \u2014 to appear in LICS'93. Available via ftp: theory.lcs.mit.edu, pub\/meyer\/self-synch.ps.Z, 1993."},{"key":"20_CR16","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 et al. [9], pages 523\u2013549.","DOI":"10.1007\/BFb0013034"},{"issue":"4","key":"20_CR17","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"XI","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Behaviour structure and nets. Fundamenta Informaticae, XI(4):357\u2013404, Dec. 1988.","journal-title":"Fundamenta Informaticae"},{"key":"20_CR18","volume-title":"PhD thesis","author":"A. Rensink","year":"1993","unstructured":"A. Rensink. Models and Methods for Action Refinement. PhD thesis, University of Twente, Enschede, Netherlands, Aug. 1993."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. In A. Kreczmar and G. Mirkowska, editors, Mathematical Foundations of Computer Science 1989, volume 379 of Lecture Notes in Computer Science, pages 237\u2013248. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51486-4_71"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and U. Goltz. Equivalences and refinement. In I. Guessarian, editor, Semantics of Systems of Concurrent Processes, volume 469 of Lecture Notes in Computer Science. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53479-2_13"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and U. Goltz. Refinement of actions in causality based models. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems \u2014 Models, Formalisms, Correctness, volume 430 of Lecture Notes in Computer Science, pages 267\u2013300. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52559-9_68"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"W. Vogler. Failures semantics based on interval semiwords is a congruence for refinement. In C. Choffrut and T. Lengauer, editors, STACS 90, volume 415 of Lecture Notes in Computer Science, pages 285\u2013297. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52282-4_51"},{"key":"20_CR23","doi-asserted-by":"crossref","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. Theoretical Comput. Sci., 114:173\u2013200, 1993.","journal-title":"Theoretical Comput. Sci."},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event structures. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of Lecture Notes in Computer Science, pages 325\u2013392. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17906-2_31"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"G. Winskel. An introduction to event structures. In de Bakker et al. [9], pages 364\u2013397.","DOI":"10.1007\/BFb0013026"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57887-0_106.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:51:54Z","timestamp":1640929914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57887-0_106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578871","9783540483830"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-57887-0_106","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}