{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T00:56:23Z","timestamp":1770598583468,"version":"3.49.0"},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":4659,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1996,6]]},"abstract":"<jats:p>A polynomial-time algorithm is presented for deciding bisimulation equivalence of so-called Basic Parallel Processes: multisets of elementary processes combined by a commutative parallel-composition operator.<\/jats:p>","DOI":"10.1017\/s0960129500000992","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T04:00:02Z","timestamp":1236139202000},"page":"251-259","source":"Crossref","is-referenced-by-count":50,"title":["A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes"],"prefix":"10.1017","volume":"6","author":[{"given":"Yoram","family":"Hirshfeld","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Jerrum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faron","family":"Moller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000992_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084788"},{"key":"S0960129500000992_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"S0960129500000992_ref001","doi-asserted-by":"publisher","DOI":"10.1145\/174130.174141"},{"key":"S0960129500000992_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57208-2_11"},{"key":"S0960129500000992_ref014","first-page":"168","article-title":"Concurrency and Automata on Infinite Sequences","volume":"104","author":"Park","year":"1981","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129500000992_ref003","first-page":"386","volume-title":"Proceedings of the Eighth Symposium on Logic in Computer Science","author":"Christensen","year":"1993"},{"key":"S0960129500000992_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90176-T"},{"key":"S0960129500000992_ref008","volume-title":"Theoretical Computer Science","author":"Hirshfeld","year":"1994"},{"key":"S0960129500000992_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(92)90142-I"},{"key":"S0960129500000992_ref009","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft","year":"1979"},{"key":"S0960129500000992_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0049331"},{"key":"S0960129500000992_ref010","first-page":"376","volume-title":"Proceedings of the Sixth Symposium on Logic in Computer Science","author":"H\u00fcttel","year":"1991"},{"key":"S0960129500000992_ref012","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"S0960129500000992_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)00078-6"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T17:19:24Z","timestamp":1557681564000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000992\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["S0960129500000992"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000992","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}