{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:11Z","timestamp":1742593211412,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534792"},{"type":"electronic","value":"9783540468974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53479-2_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:04:16Z","timestamp":1330207456000},"page":"309-333","source":"Crossref","is-referenced-by-count":18,"title":["Equivalences and refinement"],"prefix":"10.1007","author":[{"given":"Rob J.","family":"Glabbeek","sequence":"first","affiliation":[]},{"given":"Ursula","family":"Goltz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"L. Aceto, R. De Nicola, A. Fantechi: Testing Equivalences for Event Structures, Mathematical Models for the Semantics of Parallelism, LNCS 280, Springer-Verlag, 1987","DOI":"10.1007\/3-540-18419-8_9"},{"key":"13_CR2","first-page":"138","volume-title":"Towards Action-Refinement in Process Algebras","author":"L. Aceto","year":"1989","unstructured":"L. Aceto, M. Hennessy: Towards Action-Refinement in Process Algebras, Proc. LICS'89, IEEE Computer Society Press, Washington, pp 138\u2013145, 1989"},{"issue":"1","key":"13_CR3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"D. Austry, G. Boudol: Alg\u00e9bre de processus et synchronisations, Theoretical Computer Science, Vol. 30, No. 1, pp 91\u2013131, 1984","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"13_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0167-6423(85)90010-3","volume":"5","author":"J.A. Bergstra","year":"1985","unstructured":"J.A. Bergstra, J.V. Tucker: Top-down Design and the Algebra of Communicating Processes, Science of Computer Programming, Vol. 5, No. 2, pp 171\u2013199, 1985","journal-title":"Science of Computer Programming"},{"key":"13_CR5","unstructured":"E. Best, R. Devillers, A. Kiehn, L. Pomello: Fully Concurrent Bisimulation, Technical Report LIT 202, Universit\u00e9 Libre de Bruxelles, Laboratoire d'Informatique Theorique, 1989"},{"key":"13_CR6","first-page":"136","volume":"38","author":"G. Boudol","year":"1989","unstructured":"G. Boudol: Atomic Actions (Note), Bulletin of the EATCS 38, pp 136\u2013144, 1989","journal-title":"Bulletin of the EATCS"},{"key":"13_CR7","unstructured":"G. Boudol: Computations of Distributed Systems, Part 1: Flow Event structures and Flow Nets, report INRIA Sophia Antipolis, to appear"},{"key":"13_CR8","first-page":"123","volume":"249","author":"G. Boudol","year":"1987","unstructured":"G. Boudol, I. Castellani: On the Semantics of Concurrency: Partial Orders and Transition Systems, Proc. TAPSOFT 87, Vol. I, LNCS 249, Springer-Verlag, pp 123\u2013137, 1987","journal-title":"LNCS"},{"key":"13_CR9","first-page":"411","volume":"354","author":"G. Boudol","year":"1989","unstructured":"G. Boudol, I. Castellani: Permutation of Transitions: An Event Structure Semantics for CCS and SCCS, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, pp 411\u2013427, 1989","journal-title":"LNCS"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"W. Brauer, R. Gold, W. Vogler: Behaviour and Equivalence Preserving Refinements of Petri Nets, Report, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1990","DOI":"10.1007\/3-540-53863-1_19"},{"issue":"3","key":"13_CR11","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, A.W. Roscoe: A Theory of Communicating Sequential Processes, Journal of the ACM, Vol. 31, No. 3, pp 560\u2013599, 1984","journal-title":"Journal of the ACM"},{"key":"13_CR12","first-page":"12","volume":"31","author":"L. Castellano","year":"1987","unstructured":"L. Castellano, G. De Michelis, L. Pomello: Concurrency vs Interleaving: An Instructive Example, Bulletin of the EATCS 31, pp 12\u201315, 1987","journal-title":"Bulletin of the EATCS"},{"key":"13_CR13","first-page":"234","volume":"372","author":"P. Darondeau","year":"1989","unstructured":"P. Darondeau, P. Degano: Causal Trees, Proc. ICALP 89, LNCS 372, Springer-Verlag, pp 234\u2013248, 1989","journal-title":"LNCS"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Ph. Darondeau, P. Degano: Event structures, Causal trees, and Refinements, to appear in Proc. MFCS 90, LNCS, Springer-Verlag, 1990","DOI":"10.1007\/BFb0029614"},{"key":"13_CR15","unstructured":"P. Degano, R. De Nicola, U. Montanari: Observational Equivalences for Concurrency Models, Formal Description of Programming Concepts \u2014 III, Proc. of the third IFIP WG 2.2 working conference, Elsevier Science Publishers B.V. (North Holland), pp 105\u2013129, 1987"},{"issue":"1\/2","key":"13_CR16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"P. Degano, R. De Nicola, U. Montanari: A Distributed Operational Semantics for CCS Based on Condition\/Event Systems, Acta Informatica, Vol. 26, No. 1\/2, pp 59\u201391, 1988","journal-title":"Acta Informatica"},{"key":"13_CR17","first-page":"438","volume":"354","author":"P. Degano","year":"1989","unstructured":"P. Degano, R. De Nicola, U. Montanari: Partial Ordering Descriptions of Nondeterministic Concurrent Processes, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, pp 438\u2013466, 1989","journal-title":"LNCS"},{"key":"13_CR18","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola, M. Hennessy: Testing Equivalences for Processes, Theoretical Computer Science, Vol. 34, pp 83\u2013133, 1984","journal-title":"Theoretical Computer Science"},{"key":"13_CR19","unstructured":"R. Devillers: Maximality Preserving Bisimulation, Technical Report LIT 214, Universit\u00e9 Libre de Bruxelles, Laboratoire d' Informatique Theorique, 1990"},{"key":"13_CR20","unstructured":"R.J. van Glabbeek: The Refinement Theorem for ST-Bisimulation Semantics, Report CS-R9002, Centrum voor Wiskunde en Informatica, Amsterdam 1990; to appear in: Proceedings IFIP Working Conference on Programming Concepts and Methods, Israel at sea Gallilee 1990"},{"key":"13_CR21","volume-title":"Comparative Concurrency Semantics and Refinement of Actions","author":"R.J. Glabbeek van","year":"1990","unstructured":"R.J. van Glabbeek: Comparative Concurrency Semantics and Refinement of Actions, Ph. D. Thesis, Free University, Amsterdam 1990"},{"key":"13_CR22","first-page":"237","volume":"379","author":"R.J. Glabbeek van","year":"1989","unstructured":"R.J. van Glabbeek, U. Goltz: Equivalence Notions for Concurrent Systems and Refinement of Actions, Arbeitspapiere der GMD 366, February 1989, Extended Abstract in Proc. MFCS 89, LNCS 379, Springer-Verlag, pp 237\u2013248, 1989","journal-title":"LNCS"},{"key":"13_CR23","first-page":"267","volume":"430","author":"R.J. Glabbeek van","year":"1990","unstructured":"R.J. van Glabbeek, U. Goltz: Refinement of Actions in Causality Based Models, Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, LNCS 430, Springer-Verlag, pp 267\u2013300, 1990","journal-title":"LNCS"},{"key":"13_CR24","first-page":"224","volume":"259","author":"R.J. Glabbeek van","year":"1987","unstructured":"R.J. van Glabbeek, F.W. Vaandrager: Petri Net Models for Algebraic Theories of Concurrency, Proc. PARLE, Vol. II, LNCS 259, Springer-Verlag, pp 224\u2013242, 1987","journal-title":"LNCS"},{"key":"13_CR25","unstructured":"R.J. van Glabbeek, W.P. Weijland: Refinement in Branching Time Semantics, Report CS-R8922, Centrum voor Wiskunde en Informatica, Amsterdam 1989; in: J.W. de Bakker, 25 jaar semantiek, liber amicorum, Centrum voor Wiskunde en Informatica, Amsterdam 1989, pp 247\u2013252; and in: Proceedings AMAST Conference, Iowa City, USA, pp 197\u2013201, 1989"},{"key":"13_CR26","first-page":"258","volume":"299","author":"R. Gorrieri","year":"1988","unstructured":"R. Gorrieri, S. Marchetti, U. Montanari: A 2 CCS: A Simple Extension of CCS for Handling Atomic Actions, Proc. CAAP'88, LNCS 299, Springer-Verlag, pp 258\u2013270, 1988","journal-title":"LNCS"},{"issue":"1","key":"13_CR27","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy, R. Milner: Algebraic Laws for Nondeterminism and Concurrency, Journal of the ACM, Vol. 32, No. 1, pp 137\u2013161, 1985","journal-title":"Journal of the ACM"},{"issue":"2","key":"13_CR28","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G.J. Milne","year":"1985","unstructured":"G.J. Milne: CIRCAL and the Representation of Communication, Concurrency and Time, Transactions on Programming languages and Systems (ACM), Vol. 7, No. 2, pp 270\u2013298, 1985","journal-title":"Transactions on Programming languages and Systems (ACM)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"R. Milner: A Calculus of Communicating Systems, LNCS 92, Springer-Verlag, 1980","DOI":"10.1007\/3-540-10235-3"},{"issue":"3","key":"13_CR30","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner: Calculi for Synchrony and Asynchrony, Theoretical Computer Science, Vol. 25, No. 3, pp 267\u2013310, 1983","journal-title":"Theoretical Computer Science"},{"key":"13_CR31","first-page":"523","volume":"354","author":"M. Nielsen","year":"1989","unstructured":"M. Nielsen, U. Engberg, K.S. Larsen: Fully Abstract Models for a Process Language with Refinement, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, pp 523\u2013548, 1989","journal-title":"LNCS"},{"issue":"1","key":"13_CR32","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":"13_CR33","first-page":"167","volume":"104","author":"D. Park","year":"1981","unstructured":"D. Park: Concurrency and Automata on Infinite Sequences, Proc. 5th GI-Conference on Theoretical Computer Science, LNCS 104, Springer-Verlag, pp 167\u2013183, 1981","journal-title":"LNCS"},{"key":"13_CR34","unstructured":"C.A. Petri: Non-Sequential Processes, Interner Bericht 77-05, GMD, Institut f\u00fcr Informationssystemforschung, 1977"},{"key":"13_CR35","first-page":"381","volume":"222","author":"L. Pomello","year":"1986","unstructured":"L. Pomello: Some Equivalence Notions for Concurrent Systems. An Overview, in: Advances in Petri Nets 1985, LNCS 222, Springer-Verlag, pp 381\u2013400, 1986","journal-title":"LNCS"},{"issue":"1","key":"13_CR36","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V.R. Pratt","year":"1986","unstructured":"V.R. Pratt: Modelling Concurrency with Partial Orders, International Journal of Parallel Programming, Vol. 15, No. 1, pp 33\u201371, 1986","journal-title":"International Journal of Parallel Programming"},{"key":"13_CR37","unstructured":"W. Reisig: Petri Nets, EATCS Monographs on Theoretical Computer Science 4, Springer-Verlag, 1985"},{"key":"13_CR38","first-page":"348","volume":"247","author":"D.A. Taubner","year":"1987","unstructured":"D.A. Taubner, W. Vogler: The Step Failure Semantics, Proc. STACS 87, LNCS 247, Springer-Verlag, pp 348\u2013359, 1987","journal-title":"LNCS"},{"issue":"4","key":"13_CR39","first-page":"357","volume":"XI","author":"B.A. Trakhtenbrot","year":"1988","unstructured":"B.A. Trakhtenbrot, A. Rabinovich, J. Hirshfeld: Nets of Processes, Technical Report 97\/88, Tel Aviv Univ., 1988, see also: A Rabinovich, B.A. Trakhtenbrot: Behavior Structures and Nets, Fundamenta Informaticae, Vol. XI, No. 4, pp 357\u2013404, 1988","journal-title":"Fundamenta Informaticae"},{"key":"13_CR40","unstructured":"F. Vaandrager: An Explicit Representation of Equivalence Classes of the History Preserving Bisimulation, Manuscript, CWI Amsterdam, 1989"},{"key":"13_CR41","first-page":"285","volume":"415","author":"W. Vogler","year":"1990","unstructured":"W. Vogler: Failure Semantics Based on Interval Semiwords is a Congruence for Refinement, Proc. STACS'90, LNCS 415, Springer-Verlag, pp 285\u2013297, 1990","journal-title":"LNCS"},{"key":"13_CR42","unstructured":"W. Vogler: Bisimulation and Action Refinement, SFB-Bericht Nr. 342\/10\/90 A, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1990"},{"key":"13_CR43","first-page":"325","volume":"255","author":"G. Winskel","year":"1987","unstructured":"G. Winskel: Event Structures, Petri Nets: Applications and Relationships to Other Models of Concurrency, LNCS 255, Springer-Verlag, pp 325\u2013392, 1987","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Semantics of Systems of Concurrent Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53479-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:09:10Z","timestamp":1742591350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53479-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534792","9783540468974"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-53479-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}