{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T20:04:15Z","timestamp":1787169855560,"version":"3.56.0"},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"value":"9783540199823","type":"print"},{"value":"9781447130789","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_11","type":"book-chapter","created":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T21:47:45Z","timestamp":1323640065000},"page":"160-174","source":"Crossref","is-referenced-by-count":4,"title":["Sequentiality by Linear Implication and Universal Quantification"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Guglielmi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"3","key":"11_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J-M Andreoli","year":"1992","unstructured":"J.-M. Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2 (3): 297\u2013347, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J-M Andreoli","year":"1991","unstructured":"J.-M. Andreoli and R. Pareschi. Linear Objects: Logical processes with built-in inheritance. New Generation Computing, 9: 445\u2013473, 1991.","journal-title":"New Generation Computing"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J-P Ban\u00e1tre","year":"1990","unstructured":"J.-P. Ban\u00e1tre and D. Le M\u00e9tayer. The Gamma model and its discipline of programming. Science of Computer Programming, 15 (1): 55\u201377, Nov. 1990.","journal-title":"Science of Computer Programming"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50: 1\u2013102, 1987.","journal-title":"Linear logic. Theoretical Computer Science"},{"key":"11_CR5","volume-title":"P. Van Hentenryck, editor, Logic Programming, 11th International Conference, S. Margherita Ligure, Italy, pages 240\u2013254. The MIT Press","author":"A Guglielmi","year":"1994","unstructured":"A. Guglielmi. Concurrency and plan generation in a logic programming language with a sequential operator. In P. Van Hentenryck, editor, Logic Programming, 11th International Conference, S. Margherita Ligure, Italy, pages 240\u2013254. The MIT Press, 1994."},{"key":"11_CR6","volume-title":"S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 1\u2013116. Oxford University Press","author":"JW Klop","year":"1992","unstructured":"J. W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 1\u2013116. Oxford University Press, 1992."},{"key":"11_CR7","volume-title":"E. Lamma and P. Mello, editors, 1992 Workshop on Extensions to Logic Programming, volume 660 of Lecture Notes in Computer Science, pages 242\u2013265. Springer-Verlag","author":"D Miller","year":"1993","unstructured":"D. Miller. The 7r-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, 1992 Workshop on Extensions to Logic Programming, volume 660 of Lecture Notes in Computer Science, pages 242\u2013265. Springer-Verlag, 1993."},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1109\/LICS.1994.316062","volume-title":"Ninth Annual IEEE Symposium on Logic in Computer Science","author":"D Miller","year":"1994","unstructured":"D. Miller. A multiple-conclusion meta-logic. In S. Abramsky, editor, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 272\u2013281, Paris, July 1994."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D Miller","year":"1991","unstructured":"D. Miller, G. Nadathur, F. Pfenning, and A. Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51: 125\u2013157, 1991.","journal-title":"Annals of Pure and Applied Logic"},{"key":"11_CR10","volume-title":"Distributed logic: A logical system for specifying concurrency. Tech-nical Report CIUNL-5\/81","author":"L Monteiro","year":"1981","unstructured":"L. Monteiro. Distributed logic: A logical system for specifying concurrency. Tech-nical Report CIUNL-5\/81, Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, 1981."},{"key":"11_CR11","volume-title":"Distributed logic: A theory of distributed programming in logic. Technical report","author":"L Monteiro","year":"1986","unstructured":"L. Monteiro. Distributed logic: A theory of distributed programming in logic. Technical report, Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, 1986."},{"key":"11_CR12","volume-title":"Available by anonymous ftp from cma. cma. fr","author":"C Retor\u00e9","year":"1993","unstructured":"C. Retor\u00e9. Pomset logic. Available by anonymous ftp from cma. cma. fr, Dec. 1993."}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T10:56:24Z","timestamp":1555844184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_11","relation":{},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"subject":[],"published":{"date-parts":[[1995]]}}}