{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:54Z","timestamp":1725455754547},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591726"},{"type":"electronic","value":"9783540492184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026564","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:15:04Z","timestamp":1132380904000},"page":"45-69","source":"Crossref","is-referenced-by-count":1,"title":["Simulating guarded programs in linear logic"],"prefix":"10.1007","author":[{"given":"Max I.","family":"Kanovich","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"3_CR1","unstructured":"S.Abramsky. Computational interpretation of linear logic. Imperial College Research Report DOC 90\/20, 1990."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1992","unstructured":"S.Abramsky, Computational Interpretations of Linear Logic, Theoretical Computer Science, v.111, 1992, p.3\u201357. (Special Issue on the 1990 Workshop on Math. Found. Prog. Semantics.)","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"A.Asperti, G.-L.Ferrari, and R.Gorrieri. Implicative formulae in the 'proofs as computations' analogy. In Proc. 17-th ACM Symposium on Principles of Programming Languages, San-Francisco, January 1990, p.59\u201371","DOI":"10.1145\/96709.96715"},{"key":"3_CR4","volume-title":"Technical Report","author":"A. Brown","year":"1989","unstructured":"A.Brown. Relating Petri Nets to Formulas of Linear Logic. Technical Report. LFCS, Edinburgh, 1989."},{"key":"3_CR5","unstructured":"E.W.Dijkstra. A Discipline of Programming. 1976."},{"key":"3_CR6","unstructured":"E.W.Dijkstra. Guarded Commands, Nondeterminacy and Formal Derivation of Programs. In Current Trends in Programming Methodology, Volume 1, Software Specification and Design 1977, p.233\u2013242."},{"key":"3_CR7","unstructured":"M.R.Garey and D.S.Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. 1979."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"V.Gehlot and C.A.Gunter. Normal process representatives. In Proc. 5-th Annual IEEE Symposium on Logic in Computer Science, Philadelphia, June 1990.","DOI":"10.1109\/LICS.1990.113746"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","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, 1987, pp.1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"J.-Y.Girard and Y.Lafont. Linear logic and lazy computation, Proceedings of TAPSOFT 87, Springer Lecture Notes in Computer Science n\u2218257, 1987, pp.52\u201366.","DOI":"10.1007\/BFb0014972"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"J.-Y. Girard","year":"1992","unstructured":"J.-Y.Girard, A.Scedrov, and P.J.Scott, Bounded Linear Logic: A Modular Approach to Polynomial Time Computability, Theoretical Computer Science, 97, 1992, pp. 1\u201366.","journal-title":"Theoretical Computer Science"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"J.-Y.Girard. Linear logic: a survey, Logic & Algebra of Specification, NATO ASI Series F, 94, eds. Bauer & al., Springer Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_3"},{"key":"3_CR13","unstructured":"C.A.Gunter and V.Gehlot. Nets as Tensor Theories. In Proc. 10-th International Conference on Application and Theory of Petri Nets, Bonn, 1989, p.174\u2013191"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"J. Hopcroft","year":"1979","unstructured":"J.Hopcroft and J.Pansiot, On the reachability problem for 5-dimensional vector addition systems, Theoretical Computer Science, 8, 1979, pp.135\u2013159","journal-title":"Theoretical Computer Science"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"M.I.Kanovich. Horn Programming in Linear Logic is NP-complete. In Proc. 7-th Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, June 1992, pp.200\u2013210","DOI":"10.1109\/LICS.1992.185533"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(94)90011-6","volume":"67","author":"M.I. Kanovich","year":"1994","unstructured":"M.I.Kanovich. Linear logic as a logic of computations, Annals Pure Appl. Logic, 67 (1994) p.183\u2013212","journal-title":"Annals Pure Appl. Logic"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0168-0072(94)90085-X","volume":"69","author":"M.I. Kanovich","year":"1994","unstructured":"M.I.Kanovich. The complexity of Horn Fragments of Linear Logic, Annals Pure Appl. Logic, 69 (1994) p.195\u2013241. (Special Issue on LICS'92)","journal-title":"Annals Pure Appl. Logic"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"M.I.Kanovich. Petri Nets, Horn Programs, Linear Logic, and Vector Games. Proceedings of the International Symposium Theoretical Aspects of Computer Software, TACS'94, Sendai, Japan, April 1994. In Lecture Notes in Computer Science, (ed. M.Hagiya and J.Mitchell), 1994, 789, p.642\u2013666","DOI":"10.1007\/3-540-57887-0_119"},{"key":"3_CR19","unstructured":"M.I.Kanovich. Computational and Concurrency Aspects of Linear Logic. Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August\u20132 September, 1994. In Technology and Foundations, Information Processing '94, Volume 1, (ed. B.Pehrson and I.Simon) 1994, pp. 336\u2013341"},{"key":"3_CR20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"R.M.Karp and R.E.Miller. Parallel Program Schemata. Journal of Computer and System Sciences, 3 (1969), pp. 147\u2013195.","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"R.S.Kosaraju. Decidability of reachability in vector addition systems. In Proc. 14-th Annual Symposium on Theory of Computing, 267\u2013281, 1982. Preliminary Version.","DOI":"10.1145\/800070.802201"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","volume":"56","author":"P. Lincoln","year":"1992","unstructured":"P.Lincoln, J.Mitchell, A.Scedrov, and N.Shankar. Decision Problems for Propositional Linear Logic. Technical Report SRI-CSL-90-08, CSL, SRI International, August 1990. Annals Pure Appl. Logic, 56 (1992) pp. 239\u2013311.","journal-title":"Annals Pure Appl. Logic"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"N.Marti-Oliet and J.Mesequer. From Petri Nets to Linear Logic. In: Springer LNCS 389, ed. by D.R.Pitt et al., 1989, p.313\u2013340","DOI":"10.1007\/BFb0018359"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E. Mayr","year":"1982","unstructured":"E.Mayr and A.Meyer. The complexity of the word problems for commutative semigroups and polynomial ideals. Advances in Mathematics, 46, 305\u2013329, 1982.","journal-title":"Advances in Mathematics"},{"issue":"N3","key":"3_CR25","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E. Mayr","year":"1984","unstructured":"E.Mayr, An algorithm for the general Petri net reachability problem. SIAM J.Comput., 13, N 3, 441\u2013460, 1984.","journal-title":"SIAM J.Comput."},{"issue":"No.4","key":"3_CR26","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T.Murata. Petri Nets: Properties, Analysis, and Applications. Proceedings of the IEEE, vol.77, No.4, p.541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"3_CR27","unstructured":"V.R.Pratt, Event spaces and their linear logic, In AMAST'91: Algebraic Methodology and Software Technology, Iowa City, 1991, Workshops in Computing, 1\u201323, Springer-Verlag, 1992."},{"key":"3_CR28","unstructured":"A.S.Troelstra, Lectures on Linear Logic, CSLI Lecture Notes No. 29, Center for the Study of Language and Information, Stanford University, 1992."}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:29:03Z","timestamp":1586568543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591726","9783540492184"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0026564","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}