{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T04:40:47Z","timestamp":1791348047124,"version":"4.3.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540530480","type":"print"},{"value":"9783540463955","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/bfb0039058","type":"book-chapter","created":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T14:58:08Z","timestamp":1138719488000},"page":"152-165","source":"Crossref","is-referenced-by-count":51,"title":["Back and forth bisimulations"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"13_CR1","unstructured":"P. Aczel (1988): Non-well-founded sets, CSLI Lecture Notes No.14, Stanford University."},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1016\/0890-5401(89)90054-0","volume":"82","author":"A. Arnold","year":"1989","unstructured":"A. Arnold & A. Dicky (1989): An algebraic characterization of transition system equivalences. Information and Computation 82, pp. 198\u2013229.","journal-title":"Information and Computation"},{"key":"13_CR3","first-page":"84","volume":"267","author":"J.C.M. Baeten","year":"1987","unstructured":"J.C.M. Baeten & R.J. van Glabbeek (1987): Another look at abstraction in process algebra. In: Proceedings ICALP 87, Karlsruhe (Th. Ottman, ed.), LNCS 267, Springer-Verlag, pp. 84\u201394.","journal-title":"LNCS"},{"issue":"12","key":"13_CR4","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M.C. Browne","year":"1988","unstructured":"M.C. Browne, E.M. Clarke & O. Grumberg (1988): Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science 59(1,2), pp. 115\u2013131.","journal-title":"Theoretical Computer Science"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/0022-0000(87)90025-0","volume":"34","author":"I. Castellani","year":"1987","unstructured":"I. Castellani (1987): Bisimulations and abstraction homomorphisms. Journal of Computer and System Sciences 34, pp. 210\u2013235.","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR6","unstructured":"I. Castellani, P. Franceschi & U. Montanari (1983): Labeled event structures: a model for observable concurrency. In: Proceedings IFIP TC2 Working Conference on Formal Description of Programming Concepts \u2014 II, Garmisch (D. Bj\u00f8rner, ed.), North-Holland, pp. 383\u2013400."},{"key":"13_CR7","first-page":"118","volume-title":"Proceedings 5th Annual Symposium on Logic in Computer Science (LICS 90), Philadelphia, USA","author":"R. Nicola De","year":"1990","unstructured":"R. De Nicola & F.W. Vaandrager (1990): Three logics for branching bisimulation (extended abstract). In: Proceedings 5th Annual Symposium on Logic in Computer Science (LICS 90), Philadelphia, USA, IEEE Computer Society Press, Los Alamitos, CA, pp. 118\u2013129, full version to appear as CWI Report CS-R9012."},{"issue":"1","key":"13_CR8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"E.A. Emerson & J.Y. Halpern (1986): 'sometimes\u2019 and \u2018Not Never\u2019 revisited: on branching time versus linear time temporal logic. JACM 33(1), pp. 151\u2013178.","journal-title":"JACM"},{"key":"13_CR9","unstructured":"R.J. van Glabbeek & W. P. Weijland (1989): Branching time and abstraction in bisimulation semantics (extended abstract). In: Information Processing 89 (G.X. Ritter, ed.), Elsevier Science Publishers B.V. (North Holland), pp. 613\u2013618."},{"issue":"1","key":"13_CR10","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy & R. Milner (1985): Algebraic laws for nondeterminism and concurrency. JACM 32(1), pp. 137\u2013161.","journal-title":"JACM"},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/S0019-9958(85)80025-5","volume":"67","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy & C. Stirling (1985): The power of the future perfect in program logics. Information and Control 67, pp. 23\u201352.","journal-title":"Information and Control"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner (1980): A Calculus of Communicating Systems, LNCS 92, Springer-Verlag.","DOI":"10.1007\/3-540-10235-3"},{"key":"13_CR13","first-page":"25","volume":"112","author":"R. Milner","year":"1981","unstructured":"R. Milner (1981): Modal characterisation of observable machine behaviour. In: Proceedings CAAP 81 (G. Astesiano & C. Bohm, eds.), LNCS 112, Springer-Verlag, pp. 25\u201334.","journal-title":"LNCS"},{"key":"13_CR14","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 (1983): Calculi for synchrony and asynchrony. Theoretical Computer Science 25, pp. 267\u2013310.","journal-title":"Theoretical Computer Science"},{"key":"13_CR15","unstructured":"R. Milner (1989): Communication and concurrency, Prentice-Hall International."},{"key":"13_CR16","first-page":"293","volume":"I","author":"U. Montanari","year":"1989","unstructured":"U. Montanari & M. Sgamma (1989): Canonical representatives for observational equivalence classes. In: Resolution Of Equations In Algebraic Structures, Vol. I, Algebraic Techniques (H. A\u00eft-Kaci & M. Nivat, eds.), Academic Press, pp. 293\u2013319.","journal-title":"Resolution Of Equations In Algebraic Structures"},{"issue":"6","key":"13_CR17","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige & R. Tarjan (1987): Three partition refinement algorithms. SIAM Journal on Computing 16(6), pp. 973\u2013989.","journal-title":"SIAM Journal on Computing"},{"key":"13_CR18","first-page":"167","volume":"104","author":"D.M.R. Park","year":"1981","unstructured":"D.M.R. Park (1981): Concurrency and automata on infinite sequences. In: Proceedings 5th GI Conference (P. Deussen, ed.), LNCS 104, Springer-Verlag, pp. 167\u2013183.","journal-title":"LNCS"},{"key":"13_CR19","first-page":"458","volume":"164","author":"J. Sifakis","year":"1984","unstructured":"J. Sifakis (1984): Property-preserving homomorphisms of transition systems. In: Proceedings Logics of Programs, 1983 (E. Clarke & D. Kozen, eds.), LNCS 164, Springer-Verlag, pp. 458\u2013473.","journal-title":"LNCS"},{"key":"13_CR20","unstructured":"C. Stirling (1990): Modal and temporal logics. In: Handbook of Logic in Computer Science, Vol I (S. Abramsky, ed.), to appear."},{"key":"13_CR21","unstructured":"W.P. Weijland (1989): Synchrony and asynchrony in process algebra. Ph.D. Thesis, University of Amsterdam."}],"container-title":["Lecture Notes in Computer Science","CONCUR '90 Theories of Concurrency: Unification and Extension"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,9]],"date-time":"2019-02-09T12:01:48Z","timestamp":1549713708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530480","9783540463955"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0039058","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]}}}