{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:38Z","timestamp":1725624818463},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_20","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:11:37Z","timestamp":1319533897000},"page":"292-305","source":"Crossref","is-referenced-by-count":4,"title":["Behavioral Equivalence of Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Yoeli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tuvi","family":"Etzion","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/978-3-642-68353-4_41","volume-title":"Application and Theory of Petri Nets","author":"C Andr\u00e9","year":"1982","unstructured":"C. Andr\u00e9, \u201cUse of the Behavior Equivalence in Place-Transition Net Analysis\u201d 2nd European Workshop on Petri Nets, Bad Honnef, Sept. 1981; in: Application and Theory of Petri Nets, C. Girault and W. Reisig (eds.), Informatik-Fachberichte, Band 52, Springer-Verlag, 1982, pp. 241\u2013250."},{"volume-title":"Net Theory and Applications, Lecture Notes in Computer Science, Vol. 84","year":"1980","key":"20_CR2","unstructured":"W. Brauer (ed.), Net Theory and Applications, Lecture Notes in Computer Science, Vol. 84, Springer-Verlag, 1980."},{"key":"20_CR3","volume-title":"Lecture Notes in Computer Science, Vol. 92","author":"R Milner","year":"1980","unstructured":"R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, 1980."},{"key":"20_CR4","volume-title":"Petri Net Theory and The Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"J.L. Peterson, Petri Net Theory and The Modeling of Systems, Prentice-Hall, 1981."},{"key":"20_CR5","volume-title":"Petri Nets and Asynchronous Control Networks","author":"M Yoeli","year":"1973","unstructured":"M. Yoeli, Petri Nets and Asynchronous Control Networks, Res. Report CS-73-07, Dept. of Computer Science, University of Waterloo, Canada, April 1973."},{"key":"20_CR6","volume-title":"Petri Net Languages and Their Applications","author":"M Yoeli","year":"1978","unstructured":"M. Yoeli and A. Ginzburg, Petri Net Languages and Their Applications, Res. Report CS-78-45, Dept. of Computer Science, University of Waterloo, Canada, November 1978."}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T08:59:54Z","timestamp":1557910794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_20","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}