{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:40:01Z","timestamp":1736109601788,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":28,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018359","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"313-340","source":"Crossref","is-referenced-by-count":25,"title":["From petri nets to linear logic"],"prefix":"10.1007","author":[{"given":"Narciso","family":"Mart\u00ed-Oliet","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Andrea Asperti, A Logic for Concurrency, manuscript, November 1987."},{"key":"19_CR2","volume-title":"*Autonomous Categories, Volume 752 of Lecture Notes in Mathematics","author":"M. Barr","year":"1979","unstructured":"Michael Barr, *Autonomous Categories, Volume 752 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1979."},{"key":"19_CR3","unstructured":"Michael Barr, Personal communication, December 1988."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Pierpaolo Degano, Jos\u00e9 Meseguer and Ugo Montanari, Axiomatizing Net Computations and Processes, in: Proc. Logic in Computer Science, Asilomar, 1989, pages 175\u2013185.","DOI":"10.1109\/LICS.1989.39172"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"H. J. Genrich and K. Lautenbach, System Modelling with High-Level Petri Nets, Theoretical Computer Science, 13, 1981, pages 109\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard, Linear Logic, Theoretical Computer Science, 50, 1987, pages 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard, Linear Logic and Parallelism, in: Proc. School on Semantics of Parallelism, IAC, CNR, Roma, 1986.","DOI":"10.1007\/3-540-18419-8_14"},{"key":"19_CR8","unstructured":"Jean-Yves Girard, Towards a Geometry of Interaction, in: J. W. Gray and A. Scedrov (eds.), Proc. A. M. S. Conference on Categories in Computer Science and Logic, Boulder, 1987."},{"key":"19_CR9","unstructured":"Carl Gunter and Vijay Gehlot, A Proof-theoretic Operational Semantics for True Concurrency, Preliminary Report, 1989."},{"key":"19_CR10","first-page":"479","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"W. A. Howard","year":"1980","unstructured":"W. A. Howard, The Formulae-as-Types Notion of Construction, in: J. P. Seldin and J. R. Hindley (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, London, 1980, pages 479\u2013490."},{"key":"19_CR11","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"59","author":"Y. Lafont","year":"1988","unstructured":"Yves Lafont, The Linear Abstract Machine, Theoretical Computer Science, 59, 1988, pages 157\u2013180.","journal-title":"Theoretical Computer Science"},{"key":"19_CR12","unstructured":"Yves Lafont, Introduction to Linear Logic, Lecture notes for the Summer School on Constructive Logic and Category Theory, Isle of Thorns, August 1988."},{"key":"19_CR13","unstructured":"Yves Lafont, From Linear Algebra to Linear Logic, Preliminary Draft, November 1988."},{"key":"19_CR14","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF01703261","volume":"2","author":"J. Lambek","year":"1968","unstructured":"Joachim Lambek, Deductive Systems and Categories I, Mathematical Systems Theory, 2, 1968, pages 287\u2013318.","journal-title":"Mathematical Systems Theory"},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BFb0079385","volume-title":"Category Theory, Homology Theory and their Applications I, Volume 86 of Lecture Notes in Mathematics","author":"J. Lambek","year":"1969","unstructured":"Joachim Lambek, Deductive Systems and Categories II, in: Category Theory, Homology Theory and their Applications I, Volume 86 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1969, pages 76\u2013122."},{"key":"19_CR16","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BFb0073965","volume-title":"Toposes, Algebraic Geometry and Logic, Volume 274 of Lecture Notes in Mathematics","author":"J. Lambek","year":"1972","unstructured":"Joachim Lambek, Deductive Systems and Categories III, in: F. W. Lawvere (ed.), Toposes, Algebraic Geometry and Logic, Volume 274 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1972, pages 57\u201382."},{"key":"19_CR17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","volume":"23","author":"F. W. Lawvere","year":"1969","unstructured":"F. W. Lawvere, Adjointness in Foundations, Dialectica, 23, 1969, pages 281\u2013296.","journal-title":"Dialectica"},{"key":"19_CR18","first-page":"28","volume":"49","author":"S. MacLane","year":"1963","unstructured":"Saunders MacLane, Natural Associativity and Commutativity, Rice University Studies, 49, 1963, pages 28\u201346.","journal-title":"Rice University Studies"},{"key":"19_CR19","volume-title":"Categories for the Working Mathematician, Volume 5 of Graduate Texts in Mathematics","author":"S. MacLane","year":"1971","unstructured":"Saunders MacLane, Categories for the Working Mathematician, Volume 5 of Graduate Texts in Mathematics, Springer-Verlag, Berlin, 1971."},{"volume-title":"Coherence in Categories, Volume 281 of Lecture Notes in Mathematics","year":"1972","key":"19_CR20","unstructured":"Saunders MacLane (ed.), Coherence in Categories, Volume 281 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1972."},{"key":"19_CR21","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1090\/conm\/013\/685975","volume-title":"Algebraists' Homage: Papers in Ring Theory and Related Topics, Volume 13 of Contemporary Mathematics","author":"S. MacLane","year":"1982","unstructured":"Saunders MacLane, Why Commutative Diagrams Coincide with Equivalent Proofs, in: S. A. Amitsur, D. J. Saltman and G. B. Seligman (eds.), Algebraists' Homage: Papers in Ring Theory and Related Topics, Volume 13 of Contemporary Mathematics, American Mathematical Society, Providence, 1982, pages 387\u2013401."},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Meseguer and Ugo Montanari, Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory, in: Proc. Logic in Computer Science, Edinburgh, 1988, pages 155\u2013164.","DOI":"10.1109\/LICS.1988.5114"},{"key":"19_CR23","unstructured":"Jos\u00e9 Meseguer and Ugo Montanari, Petri Nets Are Monoids, Technical Report SRI-CSL-88-3, C.S.Lab., SRI International, January 1988, submitted for publication."},{"key":"19_CR24","unstructured":"Robin Milner, Interpreting One Concurrent Calculus in Another, in: Proc. Int. Conf. on Fifth Generation Computer Systems, Tokyo, 1988, pages 321\u2013326."},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Valeria C. V. de Paiva, The Dialectica Categories, Ph. D. thesis, University of Cambridge, 1988.","DOI":"10.1090\/conm\/092\/1003194"},{"key":"19_CR26","volume-title":"Natural Deduction: A Proof-Theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"Dag Prawitz, Natural Deduction: A Proof-Theoretical Study, Almqvist and Wiksell, Stockholm, 1965."},{"key":"19_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Wolfgang Reisig, Petri Nets: An Introduction, Springer-Verlag, Berlin, 1985."},{"key":"19_CR28","unstructured":"R. A. G. Seely, Linear Logic, *-Autonomous Categories and Cofree Coalgebras, in: J. W. Gray and A. Scedrov (eds.), Proc. A. M. S. Conference on Categories in Computer Science and Logic, Boulder, 1987."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018359.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:08:25Z","timestamp":1736107705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018359"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0018359","relation":{},"subject":[]}}