{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:17Z","timestamp":1725455657402},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540571841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022581","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"337-348","source":"Crossref","is-referenced-by-count":1,"title":["Committed-choice concurrent logic programming in linear logic"],"prefix":"10.1007","author":[{"given":"Ji\u0159i","family":"Zlatu\u0161ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","series-title":"LNAI 475","volume-title":"Extensions of Logic programming","author":"J.-M. Andreoll","year":"1991","unstructured":"Andreoll, J.-M., Pareschi, R.: Logic programming with sequent systems. A linear logic approach. in: Extensions of Logic programming, Schroeder-Heister, P., ed., LNAI 475, Springer, Berlin, 1991."},{"issue":"1","key":"35_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"Clark, K. L., Gregory, S.: PARLOG: Parallel programming in logic, ACM TOPLAS 8(1), 1986, 1\u201349.","journal-title":"ACM TOPLAS"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y.: Linear logic, Theoretical Computer Science, 50(1), 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"35_CR4","unstructured":"Girard, J.-Y.: Linear logic: A survey. Logic, Algebra and Computation, Marktoberdorf Summer School, 1991."},{"key":"35_CR5","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., Taylor, P.: Proofs and Types, Cambridge University Press, Cambridge, 1989."},{"key":"35_CR6","volume-title":"Parallel Logic Programming in PARLOG: The Language and its implementation","author":"S. Gregory","year":"1987","unstructured":"Gregory, S.: Parallel Logic Programming in PARLOG: The Language and its implementation. Addison-Wesley, Reading, MA, 1987."},{"key":"35_CR7","first-page":"337","volume-title":"Logical Foundations of Functional programming","author":"G. Huet","year":"1990","unstructured":"Huet, G.: A uniform approach to type theory, in: Logical Foundations of Functional programming, Addison-Wesley, Reading, MA, 1990, 337\u2013397."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Lafont, Y.: The linear abstract machine, Theoretical Computer Science, 59, 1988.","DOI":"10.1016\/0304-3975(88)90100-4"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: From Petri nets to linear logic, in: Category Theory and Computer Science, Pitt, D. H., et. al., ed., LNCS 389, Springer, 1989, 313\u2013340.","DOI":"10.1007\/BFb0018359"},{"key":"35_CR10","unstructured":"Shapiro, E.(ed.): Concurrent Prolog: Collected Papers., Vols 1 & 2, MIT Press, 1987."},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: The family of concurrent programming languages, ACM Computing Surveys, 1989, 413\u2013510.","DOI":"10.1145\/72551.72555"}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022581.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:49:10Z","timestamp":1607550550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0022581","relation":{},"subject":[]}}