{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:33Z","timestamp":1725663573638},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556107"},{"type":"electronic","value":"9783540472582"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55610-9_169","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:26:38Z","timestamp":1330251998000},"page":"89-107","source":"Crossref","is-referenced-by-count":6,"title":["Interleaving semantics and action refinement with atomic choice"],"prefix":"10.1007","author":[{"given":"Ingo","family":"Czaja","sequence":"first","affiliation":[]},{"given":"Rob J.","family":"Glabbeek","sequence":"additional","affiliation":[]},{"given":"Ursula","family":"Goltz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,13]]},"reference":[{"key":"4_CR1","unstructured":"L. Aceto: Action Refinement in Process Algebras, PhD-Thesis, University of Sussex, 1990, Report No. 3\/91, University of Sussex, Computer Science, February 1991"},{"key":"4_CR2","unstructured":"L. Aceto, M. Hennessy: Adding Action Refinement to a Finite Process Algebra, Report No. 6\/90, University of Sussex, Computer Science, November 1990, extended abstract in: Proc. ICALP 91, LNCS 510, Springer-Verlag, pp 506\u2013519, 1991"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E. Best","year":"1991","unstructured":"E. Best, R. Devillers, A. Kiehn, L. Pomello: Concurrent Bisimulation in Petri Nets, Acta Informatica, Vol. 28, pp 231\u2013264, 1991","journal-title":"Acta Informatica"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"G. Boudol: Flow Event Structures and Flow Nets, in I. Guessarian (ed.): Semantics of Systems of Concurrent Processes, LNCS 469, Springer-Verlag, pp 62\u201395, 1990","DOI":"10.1007\/3-540-53479-2_4"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"G. Boudol, I. Castellani: Permutation of Transitions: An Event Structure Semantics for CCS and SCCS, in J.W. de Bakker, W.-P. de Roever & G. Rozenberg (eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, pp 411\u2013427, 1989","DOI":"10.1007\/BFb0013028"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"W. Brauer, R. Gold, W. Vogler: A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets, in: Advances in Petri Nets 1990, LNCS 483, Springer-Verlag, pp 1\u201346, 1990","DOI":"10.1007\/3-540-53863-1_19"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Ph. Darondeau, P. Degano: Event structures, Causal trees, and Refinements, in: Proc. MFCS 90, LNCS 452, Springer-Verlag, pp 239\u2013245, 1990","DOI":"10.1007\/BFb0029614"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Ph. Darondeau, P. Degano: Refinement of Actions in Event Structures and Causal Trees, manuscript, 1991","DOI":"10.1007\/BFb0029614"},{"key":"4_CR9","unstructured":"R. Devillers: Maximality Preserving Bisimulation, Technical Report LIT-1214, Universit\u00e9 Libre de Bruxelles, March 1990, to appear in TCS"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, U. Goltz: Refinement of Actions in Causality Based Models, in J.W. de Bakker, W.-P. de Roever & G. Rozenberg (eds.): Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, LNCS 430, Springer-Verlag, pp 267\u2013300, 1990","DOI":"10.1007\/3-540-52559-9_68"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, U. Goltz: Equivalences and Refinement, in: I. Guessarian (ed.): Semantics of Systems of Concurrent Processes, LNCS 469, Springer-Verlag, pp 309\u2013333, 1990","DOI":"10.1007\/3-540-53479-2_13"},{"key":"4_CR12","unstructured":"R.J. van Glabbeek, U. Goltz: A Deadlock-sensitive Congruence for Action Refinement, SFB-Bericht Nr. 342\/23\/90 A, TUM-19044, Technische Universit\u00e4t M\u00fcnchen, November 1990"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"R. Milner: A Calculus of Communicating Systems, LNCS 92, Springer-Verlag, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"M. Nielsen, U. Engberg, K. S. Larsen: Fully Abstract Models for a Process Language with Refinement, in J.W. de Bakker, W.-P. de Roever & G. Rozenberg (eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, pp 523\u2013548, 1989","DOI":"10.1007\/BFb0013034"},{"issue":"No.1","key":"4_CR15","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G.D. Plotkin, G. Winskel: Petri Nets, Event Structures and Domains, Part I, Theoretical Computer Science, Vol. 13, No. 1, pp 85\u2013108, 1981","journal-title":"Theoretical Computer Science"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"D. Park: Concurrency and Automata on Infinite Sequences, in P. Deussen (ed.): Proc. 5th GI-Conference on Theoretical Computer Science, LNCS 104, Springer-Verlag, pp 167\u2013183, 1981","DOI":"10.1007\/BFb0017309"},{"key":"4_CR17","doi-asserted-by":"crossref","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, Vol. 4, pp 139\u2013162, 1991","journal-title":"Distributed Computing"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"W. Vogler: Bisimulation and Action Refinement, in: Proc. STACS 91, LNCS 480, Springer-Verlag, pp 309\u2013321, 1991","DOI":"10.1007\/BFb0020808"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55610-9_169.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:43Z","timestamp":1605646843000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55610-9_169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556107","9783540472582"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-55610-9_169","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}