{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:19Z","timestamp":1725663379344},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540542339"},{"type":"electronic","value":"9783540475163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54233-7_158","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:38:09Z","timestamp":1330209489000},"page":"495-505","source":"Crossref","is-referenced-by-count":17,"title":["Deciding history preserving bisimilarity"],"prefix":"10.1007","author":[{"given":"Walter","family":"Vogler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"38_CR1","unstructured":"L. Aceto and M. Hennessy. Adding action refinement to a finite process algebra. Technical Report 6\/90, Dept. Comp. Sci. Univ. of Sussex, Brigthon, 1990."},{"key":"38_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-17660-8_52","volume":"249","author":"G. Boudol","year":"1987","unstructured":"G. Boudol and I. Castellani. On the semantics of concurrency: Partial orders and transition systems. In H. Ehrig et al., editors, TAPSOFT 87, Vol. I, Lect. Notes Comp. Sci. 249, 123\u2013137, 1987.","journal-title":"Lect. Notes Comp. Sci."},{"key":"38_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Theoret. Comput. Sci., 55:87\u2013136, 1987.","journal-title":"Theoret. Comput. Sci."},{"key":"38_CR4","unstructured":"E. Best, R. Devillers, A. Kiehn, and L. Pomello. Fully concurrent bisimulation. Technical Report LIT-202, Univ. Bruxelles, 1989. To appear in Acta Informatica."},{"key":"38_CR5","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BFb0029614","volume":"452","author":"P. Darondeau","year":"1990","unstructured":"P. Darondeau and P. Degano. Event structures, causal trees, and refinements. In B. Rovan, editor, MFCS 90, Lect. Notes Comp. Sci. 452, 239\u2013245, 1990.","journal-title":"Lect. Notes Comp. Sci."},{"key":"38_CR6","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/BFb0013030","volume":"354","author":"P. Degano","year":"1989","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Partial orderings descriptions and observations of nondeterministic concurrent processes. In J.W. de Bakker et al., editors, Proc. REX School \/ Workshop Linear Time, Branching Time and Partial Order in Logic and Models of Concurrency. Noordwijkerhout, 1988, Lect. Notes Comp. Sci. 354, 438\u2013466, 1989.","journal-title":"Lect. Notes Comp. Sci."},{"key":"38_CR7","unstructured":"R. Devillers. Maximality preserving bisimulation. Technical Report LIT-214, Univ. Bruxelles, 1990."},{"key":"38_CR8","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1016\/0022-0000(87)90032-8","volume":"34","author":"P. Degano","year":"1987","unstructured":"P. Degano and U. Montanari. Concurrent histories: A basis for observing distributed systems. J. Comp. Sys. Sci., 34:422\u2013461, 1987.","journal-title":"J. Comp. Sys. Sci."},{"key":"38_CR9","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume":"379","author":"R.J. Glabbeek v.","year":"1989","unstructured":"R.J. v. Glabbeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. In A. Kreczmar and G. Mirkowska, editors, MFCS 89, Lect. Notes Comp. Sci. 379, 237\u2013248, 1989.","journal-title":"Lect. Notes Comp. Sci."},{"key":"38_CR10","unstructured":"R.J. v. Glabbeek. The refinement theorem for ST-bisimulation semantics. In M. Broy and C.B. Jones, editors, Proc. IFIP Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 1990. To appear."},{"key":"38_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125\u2013147, 1983.","journal-title":"Information and Control"},{"key":"38_CR12","first-page":"428","volume":"IV.2","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski. On partial languages. Fundamenta Informaticae, IV.2:428\u2013498, 1981.","journal-title":"Fundamenta Informaticae"},{"key":"38_CR13","unstructured":"R.J. v. Glabbeek and W.P. Weijland. Refinement in branching time semantics. In Proc. AMAST Conf., pages 197\u2013201, 1989."},{"key":"38_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. Calculi for synchrony and asynchrony. Theor. Comput. Sci., 25:267\u2013310, 1983.","journal-title":"Theor. Comput. Sci."},{"key":"38_CR15","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BFb0013034","volume":"354","author":"M. Nielsen","year":"1989","unstructured":"M. Nielsen, U. Engberg, and K. Larsen. Partial order semantics for concurrency. In J.W. de Bakker et al., editors, Proc. REX School \/ Workshop Linear Time, Branching Time and Partial Order in Logic and Models of Concurrency. Noordwijkerhout, 1988, Lect. Notes Comp. Sci. 354, 523\u2013548, 1989.","journal-title":"Lect. Notes Comp. Sci."},{"key":"38_CR16","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, and G. Winskel. Petri nets, event structures and domains I. Theor. Comput. Sci., 13:85\u2013108, 1981.","journal-title":"Theor. Comput. Sci."},{"key":"38_CR17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0017309","volume":"104","author":"D. Park","year":"1981","unstructured":"D. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, Proc. 5th GI Conf. on Theoretical Comp. Sci., Lect. Notes Comp. Sci. 104, 167\u2013183, 1981.","journal-title":"Lect. Notes Comp. Sci."},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"V. Pratt. On the composition of processes. In Proc. 9th ACM Symp. on Principles of Programming Languages, pages 213\u2013223, 1982.","DOI":"10.1145\/582153.582177"},{"key":"38_CR19","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"11","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B.A. Trakhtenbrot. Behaviour structures and nets. Fundamenta Informaticae, 11:357\u2013404, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"38_CR20","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/3-540-52282-4_51","volume":"415","author":"W. Vogler","year":"1990","unstructured":"W. Vogler. Failures semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 4, 1991. To appear. An extended abstract has appeared in C. Choffrut and T. Lengauer, editors, STACS 90, Lect. Notes Comp. Sci. 415, 285\u2013297, 1990.","journal-title":"Lect. Notes Comp. Sci."},{"key":"38_CR21","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BFb0020808","volume":"480","author":"W. Vogler","year":"1991","unstructured":"W. Vogler. Bisimulation and action refinement. In C. Choffrut and M. Jantzen, editors, STACS 91, Lect. Notes Comp. Sci. 480, 309\u2013321, 1991.","journal-title":"Lect. Notes Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54233-7_158.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:41:50Z","timestamp":1640922110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54233-7_158"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540542339","9783540475163"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-54233-7_158","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}