{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299956},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/3-540-63045-7_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:01:09Z","timestamp":1330297269000},"page":"374-384","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Back-forth equivalences for design of concurrent systems"],"prefix":"10.1007","author":[{"given":"Igor V.","family":"Tarasyuk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"38_CR1","first-page":"45","volume":"616","author":"C. Autant","year":"1992","unstructured":"Autant C., Schnoebelen Ph.Place bisimulations in Petri nets. LNCS616, p. 45\u201361, June 1992.","journal-title":"LNCS"},{"key":"38_CR2","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E. Best","year":"1991","unstructured":"Best E., Devillers R., Kiehn A., Pomello L.Concurrent bisimulations in Petri nets. Acta Informatica28, p. 231\u2013264, 1991.","journal-title":"Acta Informatica"},{"key":"38_CR3","first-page":"123","volume":"249","author":"G. Boudol","year":"1987","unstructured":"Boudol G., Castellani I.On the semantics of concurrency: partial orders and transition systems. LNCS249, p. 123\u2013137, 1987.","journal-title":"LNCS"},{"key":"38_CR4","first-page":"843","volume":"605","author":"F. Cherief","year":"1992","unstructured":"Cherief F.Back and forth bisimulations on prime event structures. LNCS605, p.843\u2013858, June 1992.","journal-title":"LNCS"},{"key":"38_CR5","volume-title":"Ph.D. thesis","author":"F. Cherief","year":"1992","unstructured":"Cherief F.Contributions \u00e0 la s\u00e9mantique du parall\u00e9lisme: bisimulations pour le raffinement et le vrai parall\u00e9lisme. Ph.D. thesis, Institut National Politechnique de Grenoble, France, October 1992 (in French)."},{"issue":"5","key":"38_CR6","first-page":"481","volume":"11","author":"F. Cherief","year":"1992","unstructured":"Cherief F.Investigations of back and forth bisimulations on prime event structures. Computers and Artificial Intelligence11(5), p. 481\u2013496, 1992.","journal-title":"Computers and Artificial Intelligence"},{"key":"38_CR7","first-page":"224","volume":"259","author":"R.J. Glabbeek Van","year":"1987","unstructured":"Van Glabbeek R.J., Vaandrager F.W.Petri net models for algebraic theories of concurrency. LNCS259, p. 224\u2013242, 1987.","journal-title":"LNCS"},{"key":"38_CR8","unstructured":"Hoare C.A.R. Communicating sequential processes, on the construction of programs. (McKeag R.M., Macnaghten A.M., eds.) Cambridge University Press, p. 229\u2013254, 1980."},{"key":"38_CR9","first-page":"152","volume":"458","author":"R. Nicola De","year":"1990","unstructured":"De Nicola R., Montanari U., Vaandrager F.W.Back and forth bisimulations. LNCS458, p. 152\u2013165, 1990.","journal-title":"LNCS"},{"key":"38_CR10","first-page":"89","volume":"181","author":"M. Nielsen","year":"1984","unstructured":"Nielsen M., Thiagarajan P.S.Degrees of non-determinizm and concurrency: A Petri net view. LNCS181, p. 89\u2013117, December 1984.","journal-title":"LNCS"},{"key":"38_CR11","first-page":"167","volume":"104","author":"D.M.R. Park","year":"1981","unstructured":"Park D.M.R.Concurrency and automata on infinite sequences. LNCS104, p. 167\u2013183, March 1981.","journal-title":"LNCS"},{"key":"38_CR12","first-page":"381","volume":"222","author":"L. Pomello","year":"1986","unstructured":"Pomello L.Some equivalence notions for concurrent systems. An overview. LNCS222, p. 381\u2013400, 1986.","journal-title":"LNCS"},{"key":"38_CR13","unstructured":"Pinchinat S. Bisimulations for the semantics of reactive systems. Ph.D. thesis, Institut National Politechnique de Grenoble, January 1993 (in French)."},{"key":"38_CR14","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"XI","author":"A. Rabinovitch","year":"1988","unstructured":"Rabinovitch A., Trakhtenbrot B.A.Behaviour structures and nets. Fundamenta InformaticaeXI, p. 357\u2013404, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"38_CR15","volume-title":"Hildesheimer Informatik-Bericht 4\/96","author":"I.V. Tarasyuk","year":"1996","unstructured":"Tarasyuk I.V.Equivalence notions for design of concurrent systems using Petri nets. Hildesheimer Informatik-Bericht4\/96, part 1, 19 p., Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim, Hildesheim, Germany, January 1996."},{"key":"38_CR16","first-page":"309","volume":"480","author":"W. Vogler","year":"1991","unstructured":"Vogler W.Bisimulation and action refinement. LNCS480, p. 309\u2013321, 1991.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:29:38Z","timestamp":1640950178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"25 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}