{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:08:05Z","timestamp":1725455285644},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605737"},{"type":"electronic","value":"9783540477662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0015435","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:50:06Z","timestamp":1131864606000},"page":"301-310","source":"Crossref","is-referenced-by-count":1,"title":["Deciding bisimulation and trace equivalences for systems with many identical processes"],"prefix":"10.1007","author":[{"given":"Hsu-Chun","family":"Yen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi-Tsuen","family":"Jian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ta-Pang","family":"Lao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"34_CR1","first-page":"156","volume":"51","author":"S. Christensen","year":"1993","unstructured":"Christensen, S. and H\u00fcttel, H. Decidability issues for infinite-state processes \u2014 a survey. EATCS Bulletin 51, pp. 156\u2013166, (1993).","journal-title":"EATCS Bulletin"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Clark, E., Gr\u00fcmberg, O. and Browne, M. Reasoning about networks with many identical finite-state processes. PODC'86, pp. 240\u2013248, (1986).","DOI":"10.1145\/10590.10611"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Garg, V. Analysis of distributed systems with many identical processes. IEEE Int. Conf. on Distributed Computing Systems, pp. 358\u2013365, (1988).","DOI":"10.1109\/DCS.1988.12537"},{"key":"34_CR4","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1145\/146637.146681","volume":"39","author":"S. German","year":"1992","unstructured":"German, S. and Sistla, A. Reasoning about systems with many processes. JACM 39, 675\u2013735, (1992).","journal-title":"JACM"},{"key":"34_CR5","unstructured":"Girkar, M. and Moll, R. Undecidability of bisimulations in concurrent systems with indefinite number of identical processes. Dept. of Computer Science, Univ. of Massachusetts, CMPSCI Technical Report 93-86, December 1993."},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Girkar, M. and Moll, R. New results on the analysis of concurrent systems with an indefinite number of processes. CONCUR'94, (1994).","DOI":"10.1007\/978-3-540-48654-1_7"},{"key":"34_CR7","unstructured":"Hirshfeld, Y. Petri nets and the equivalence problem. CSL, (1993)."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"H\u00fcttel, H. Undecidable equivalences for basic parallel processes. 13th FST&TCS, pp. 454\u2013464, (1993).","DOI":"10.1007\/3-540-57887-0_110"},{"key":"34_CR9","first-page":"581","volume":"755","author":"P. Jan\u010dar","year":"1994","unstructured":"Jan\u010dar, P. Decidability questions for bisimilarity of Petri nets and some related problems. STACS'94, LNCS 755, pp. 581\u2013592, (1994).","journal-title":"LNCS"},{"key":"34_CR10","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/BF01762125","volume":"3","author":"P. Kanellakis","year":"1988","unstructured":"Kanellakis, P. and Smolka, S. On the analysis of cooperation and antagonism in networks of communicating processes, Algorithmica 3, pp. 421\u2013450, (1988).","journal-title":"Algorithmica"},{"key":"34_CR11","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. Kanellakis","year":"1990","unstructured":"Kanellakis, P. and Smolka, S. CCS expression, finite state processes, and three problems of equivalence. Information and Computation 86, pp. 43\u201368, (1990).","journal-title":"Information and Computation"},{"key":"34_CR12","unstructured":"Sistla, A. and German, S. Reasoning with many processes. LICS'87, pp. 138\u2013152, (1987)."},{"key":"34_CR13","first-page":"278","volume":"458","author":"R. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R. The linear time-branching time spectrum. CONCUR'90, LNCS 458, pp. 278\u2013297, (1990).","journal-title":"LNCS"},{"key":"34_CR14","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1007\/BF01178682","volume":"28","author":"H. Yen","year":"1991","unstructured":"Yen, H. Priority systems with many identical processes. Acta Informatica 28, pp. 681\u2013692 (1991).","journal-title":"Acta Informatica"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Yen, H., Jian, S., and Lao, T. Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. Tech. Report, Dept. of Electrical Engineering, National Taiwan Univ., 1995.","DOI":"10.1007\/BFb0015435"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Computations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:49:56Z","timestamp":1586551796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605737","9783540477662"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0015435","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}