{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:51:42Z","timestamp":1725486702573},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730934"},{"type":"electronic","value":"9783540730941"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73094-1_1","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T01:53:56Z","timestamp":1183168436000},"page":"1-2","source":"Crossref","is-referenced-by-count":3,"title":["Petri Nets, Discrete Physics, and Distributed Quantum Computation"],"prefix":"10.1007","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"CONCUR \u201996: Concurrency Theory","author":"S. Abramsky","year":"1996","unstructured":"Abramsky, S.: Retracing some paths in process algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 1\u201317. Springer, Heidelberg (1996)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: What are the fundamental structures of concurrency? We still don\u2019t know? In: APC 25. Proceedings of the Workshop Essays on Algebraic Process Calculi. Electronic Notes in Theoretical Computer Science, vol.\u00a0162, pp. 37\u201341 (2006)","DOI":"10.1016\/j.entcs.2005.12.075"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Abramsky, S.: Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics. To appear in Mathematics of Quantum Computation and Quantum Technology. Chen, G., Kauffman, L., Lomonaco, S. (eds.) Taylor and Francis, pp. 523\u2013566 (2007)","DOI":"10.1201\/9781584889007.ch15"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 415\u2013425 (2004) arXiv:quant-ph\/0402130.","DOI":"10.1109\/LICS.2004.1319636"},{"key":"1_CR5","first-page":"111","volume":"14","author":"S. Abramsky","year":"2005","unstructured":"Abramsky, S., Coecke, B.: Abstract physical traces. Theory and Applications of Categories\u00a014, 111\u2013124 (2005)","journal-title":"Theory and Applications of Categories"},{"key":"1_CR6","series-title":"NATO ASI Series F","first-page":"35","volume-title":"Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School","author":"S. Abramsky","year":"1995","unstructured":"Abramsky, S., Gay, S.J., Nagarajan, R.: Interaction categories and foundations of typed concurrent programming. In: Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School. NATO ASI Series F, pp. 35\u2013113. Springer, Heidelberg (1995)"},{"issue":"12","key":"1_CR7","doi-asserted-by":"publisher","first-page":"979","DOI":"10.1007\/BF02084163","volume":"21","author":"C.-A. Petri","year":"1982","unstructured":"Petri, C.-A.: State-Transition Structures in Physics and in Computation. International Journal of Theoretical Physics\u00a021(12), 979\u2013993 (1982)","journal-title":"International Journal of Theoretical Physics"},{"key":"1_CR8","unstructured":"Sorkin, R.: First Steps in Causal Sets. Available at \n                    \n                      http:\/\/physics.syr.edu\/~sorkin\/some.papers\/"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73094-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:04:59Z","timestamp":1558260299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73094-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730934","9783540730941"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73094-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}