{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:14Z","timestamp":1725663674591},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:51:23Z","timestamp":1330249883000},"page":"13-23","source":"Crossref","is-referenced-by-count":7,"title":["Computing distinguishing formulas for branching bisimulation"],"prefix":"10.1007","author":[{"given":"Henri","family":"Korver","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"R. Cleaveland: On Automatically Distinguishing Inequivalent Processes. In Proceedings: 1990 Workshop on Computer-Aided Verification (R. Kurshan and E.M. Clarke, editors), DIMACS technical report 90\u201331, Vol. 2, New Yersey, 1990. To appear in Lecture Notes in Computer Science.","DOI":"10.1090\/dimacs\/003\/28"},{"key":"3_CR2","first-page":"118","volume-title":"Proceedings 5thAnnual Symposium on Logic in Computer Science, Philadelphia, USA","author":"R. DeNicola","year":"1990","unstructured":"R. DeNicola and F.W. Vaandrager: Three logics for branching bisimulation (extended abstract). In Proceedings 5th Annual Symposium on Logic in Computer Science, Philadelphia, USA, pages 118\u2013129, Los Alamitos, CA, 1990. IEEE Computer Society Press. Full version appeared as CWI Report CS-R9012."},{"key":"3_CR3","volume-title":"PhD thesis","author":"R. J. Glabbeek van","year":"1990","unstructured":"R.J. van Glabbeek: Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Free University, Amsterdam, 1990."},{"key":"3_CR4","unstructured":"R.J. van Glabbeek and W.P. Weijland: Branching time and abstraction in bisimulation semantics (extended abstract). In G.X. Ritter, editor, Information Processing 89, pages 613\u2013618. North-Holland, 1989."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"J.F. Groote and F.W. Vaandrager: An efficient algorithm for branching bisimulation and stuttering equivalence. In M.S. Paterson, editor, Proceedings 17th ICALP, Warwick, volume 443 of LNCS, pages 626\u2013638. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032063"},{"issue":"n.1","key":"3_CR6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner: Algebraic Laws for Nondeterminism and Concurrency. Journal of the Association for Computing Machinery, v. 32, n. 1, pages 137\u2013161, January 1985.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"P. Kanellakis and S.A. Smolka: CCS Expressions, Finite State Processes, and Three Problems of Equivalence. In Proceedings of the Second ACM Symposium on the Principles of Distributed Computing, 1983.","DOI":"10.1145\/800221.806724"},{"key":"3_CR8","unstructured":"H. Korver: The Current State of Bisimulation Tools. In report P9101, Programming Research Group, Univerisity of Amsterdam, 1991."},{"key":"3_CR9","volume-title":"report CS-R9121","author":"H. Korver","year":"1991","unstructured":"H. Korver: Computing Distinguishing Formulas for Branching Bisimulation (Full Version). In report CS-R9121, CWI, Amsterdam, 1991."},{"key":"3_CR10","unstructured":"R. Milner: Communication and Concurrency. Prentice Hall, 1989."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:58Z","timestamp":1605646678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}