{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:24:07Z","timestamp":1784183047402,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540512370","type":"print"},{"value":"9783540461807","type":"electronic"}],"license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51237-3_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:48:53Z","timestamp":1330184933000},"page":"26-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["A remark on bisimulation between probabilistic processes"],"prefix":"10.1007","author":[{"given":"Bard","family":"Bloom","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Albert R.","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"4_CR1","unstructured":"S. Abramsky. Observation equivalence as a testing equivalence. Theoretical Computer Sci., 1986. Submitted."},{"key":"4_CR2","unstructured":"S. Abramsky. Tutorial on concurrency. Invited Lecture at 15\n                  th\n                 ACM Symp. on Principles of Programming Languages, Jan. 1989."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"B. Bloom, S. Istrail, and A. R. Meyer. Bisimulation can't be traced: preliminary report. In 15\n                  th\n                \nSymp. Principles of Programming Languages, pages 229\u2013239, ACM, 1988.","DOI":"10.1145\/73560.73580"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"B. Bloom and A. R. Meyer. Experimenting with process equivalence. 1989. In Preparation.","DOI":"10.1007\/978-1-4471-3860-0_6"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"M. C. B. Hennessy and R. Milner. On observing nondeterminism and concurrency. In J. D. Bakker and J. van Leeuwen, editors, 7\n                  th\n                \nICALP, pages 299\u2013309, Volume 85 of Lect. Notes in Computer Sci., Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10003-2_79"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. Hoare","year":"1978","unstructured":"C. Hoare. Communicating sequential processes. Comm. ACM, 21:666\u2013677, 1978.","journal-title":"Comm. ACM"},{"key":"4_CR7","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Series in Computer Science, Prentice-Hall, 1985. 256 pp."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"K. Larsen and A. Skou. Bisimulation through probabilistic testing (preliminary report). Technical Report R 88-16, Institut for Elektroniske Systemer, Aalborg Universitetscenter, June 1988. Also in 15\n                  th\n                 ACM Symp. on Principles of Programming Languages, Jan. 1989.","DOI":"10.1145\/75277.75307"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems. Volume 92 of Lect. Notes in Computer Sci., Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. A modal characterisation of observable machine-behavior. In Proceedings CAAP '81, Volume 112 of Lect. Notes in Computer Sci., Springer-Verlag, 1981.","DOI":"10.1007\/3-540-10828-9_52"},{"key":"4_CR11","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 Sci., 25:267\u2013310, 1983.","journal-title":"Theoretical Computer Sci."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner. Lectures on a calculus for communicating systems. In S. D. Brookes, A. W. Roscoe, and G. Winskel, editors, Seminar on Concurrency, pages 197\u2013220, Volume 197 of Lect. Notes in Computer Sci., Springer-Verlag, 1984.","DOI":"10.1007\/3-540-15670-4_10"},{"key":"4_CR13","series-title":"Technical Report","volume-title":"A structural approach to operational semantics","author":"G. D. Plotkin","year":"1981","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus Univ., Computer Science Dept., Denmark, 1981."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"A. Pnueli. Linear and branching structures in the semantics and logics of reactive systems. In W. Brauer, editor, Int'l Conf. Automata, Languages and Programming, pages 15\u201332, Volume 194 of Lect. Notes in Computer Sci., Springer-Verlag, 1985.","DOI":"10.1007\/BFb0015727"}],"container-title":["Lecture Notes in Computer Science","Logic at Botik '89"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51237-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:40:35Z","timestamp":1558255235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51237-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512370","9783540461807"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-51237-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}