{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:52Z","timestamp":1725664432894},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601647"},{"type":"electronic","value":"9783540446613"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60164-3_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:48:38Z","timestamp":1330278518000},"page":"24-43","source":"Crossref","is-referenced-by-count":7,"title":["Dualities between nets and automata induced by schizophrenic objects"],"prefix":"10.1007","author":[{"given":"Eric","family":"Badouel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"3_CR1","unstructured":"Arnold, A., and Nivat, M., Comportements de processus. Colloque AFCET \u00ab Les Math\u00e9matiques de l'Informatique \u00bb, (1982) 35\u201368."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-56596-5_27","volume":"666","author":"E. Badouel","year":"1993","unstructured":"Badouel, E., and Darondeau, Ph., Trace Nets. REX workshop, Beekbergen \u201cSemantics: Foundation and Applications\u201d, Springer-Verlag Lecture Notes in Computer Science, vol. 666 (1993) 21\u201350.","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"3_CR3","unstructured":"Bernardinello, L., De Michelis, G., and Petruni, K., Synchronic distances as Generalized Regions. Rapporto Interno n. 107-93, Dipartimento di Scienze dell'Informazione, Universit\u00e1 degli Studi di Milano (1993)."},{"key":"3_CR4","unstructured":"Droste, M., and Shortt, R.M., Petri Nets and Automata with Concurrency Relations \u2014 an Adjunction, in \u201dSemantics of Programming Languages and Model Theory\u201d, M. Droste and Y. Gurevich eds(1993) 69\u201387."},{"key":"3_CR5","unstructured":"Ehrenfeucht, A., and Rozenberg, G., Partial 2-structures; Part I: Basic Notions and the Representation Problem, and Part II: State Spaces of Concurrent Systems, Acta Informatica, vol 27 (1990)."},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"535","DOI":"10.2307\/2374638","volume":"94","author":"J. R. Isbell","year":"1972","unstructured":"Isbell, J. R., General Functorial Semantics, I., American Journal of Mathematics, vol 94 (1972) 535\u2013596.","journal-title":"American Journal of Mathematics"},{"key":"3_CR7","unstructured":"Johnstone, P.T., Stone Spaces. Cambridge University Press, (1982)."},{"key":"3_CR8","unstructured":"Mukund, M., Petri Nets and Step Transition Systems. International Journal of Foundation of Computer Science, vol 3, n\u2134 3 (1993)."},{"key":"3_CR9","first-page":"111","volume-title":"Category Theory at Work","author":"H.-E. Porst","year":"1991","unstructured":"Porst, H.-E., and Tholen, W., Concrete Dualities. In \u201cCategory Theory at Work\u201d, H. Herrlich, and H.-E. Porst (eds.), Heldermann Verlag Berlin (1991) 111\u2013136."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60164-3_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:32:36Z","timestamp":1619573556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60164-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601647","9783540446613"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-60164-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}