{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:51:31Z","timestamp":1654735891623},"reference-count":14,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":6167,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1998]]},"DOI":"10.1016\/s1571-0661(04)00117-3","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"61-74","source":"Crossref","is-referenced-by-count":1,"title":["Deadlock Behaviour in Split and ST Bisimulation Semantics"],"prefix":"10.1016","volume":"16","author":[{"given":"J.C.M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"J.A.","family":"Bergstra","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0890-5401(88)90027-2","article-title":"Global renaming operators in concrete process algebra","volume":"78","author":"Baeten","year":"1988","journal-title":"Information and Computation"},{"issue":"3","key":"10.1016\/S1571-0661(04)00117-3_NEWBIB2","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BF01215407","article-title":"On sequential composition, action prefixes and process prefix","volume":"6","author":"Baeten","year":"1994","journal-title":"Formal Aspects of Computing"},{"issue":"2","key":"10.1016\/S1571-0661(04)00117-3_NEWBIB3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-1986-9202","article-title":"Syntax and defining equations for an interrupt mechanism in process algebra","volume":"IX","author":"Baeten","year":"1986","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB4","series-title":"Handbook of Logic in Computer Science, volume 4","first-page":"149","article-title":"Concrete process algebra","author":"Baeten","year":"1995"},{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB5","series-title":"Number 18 in Cambridge Tracts in Theoretical Computer Science","article-title":"Process Algebra","author":"Baeten","year":"1990"},{"issue":"4","key":"10.1016\/S1571-0661(04)00117-3_NEWBIB6","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1093\/comjnl\/37.4.243","article-title":"Process algebra with iteration and nesting","volume":"37","author":"Bergstra","year":"1994","journal-title":"The Computer Journal"},{"issue":"1\/3","key":"10.1016\/S1571-0661(04)00117-3_NEWBIB7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","article-title":"Process algebra for synchronous communication","volume":"60","author":"Bergstra","year":"1984","journal-title":"Information and Control"},{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB8","unstructured":"N. Busi, R.J. van Glabbeek, and R. Gorrieri. Axiomatising ST-bisimulation semantics. In E.-R. Olderog, editor, Proceedings of the IFIP TC2 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET'94), number 56 in IFIP Transactions A, pages 169\u2013188. North-Holland, Amsterdam, 1994."},{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB9","doi-asserted-by":"crossref","unstructured":"W.J. Fokkink. Axiomatizations for the perpetual loop in process algebra. In P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela, editors, Proceedings ICALP'97, number 1256 in Lecture Notes in Computer Science, pages 571\u2013581. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63165-8_212"},{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB10","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek and F.W. Vaandrager. Petri net models for algebraic theories of concurrency. In J.W. de Bakker, A.J. Nijman, and P.C. Treleaven, editors, Proceedings PARLE, Volume II, number 259 in Lecture Notes in Computer Science, pages 224\u2013242. Springer Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"issue":"2","key":"10.1016\/S1571-0661(04)00117-3_NEWBIB11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1006\/inco.1997.2634","article-title":"The difference between splitting in n and n + 1","volume":"136","author":"van Glabbeek","year":"1997","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB12","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1006\/inco.1995.1066","article-title":"Split and ST bisimulation semantics","volume":"118","author":"Gorrieri","year":"1995","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB13","doi-asserted-by":"crossref","first-page":"997","DOI":"10.1137\/0217063","article-title":"Axiomatising finite concurrent processes","volume":"17","author":"Hennessy","year":"1988","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S1571-0661(04)00117-3_NEWBIB14","unstructured":"M. Hennessy. A proof system for weak ST-bisimulation over a finite process algebra. Technical Report 6\/91, University of Sussex, 1991."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001173?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001173?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,6,14]],"date-time":"2021-06-14T04:55:40Z","timestamp":1623646540000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998]]}},"alternative-id":["S1571066104001173"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00117-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}