{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:16:01Z","timestamp":1725455761717},"publisher-location":"Berlin, Heidelberg","reference-count":32,"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\/bfb0026562","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:15:04Z","timestamp":1132362904000},"page":"1-24","source":"Crossref","is-referenced-by-count":2,"title":["Time and information in sequential and concurrent computation"],"prefix":"10.1007","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"1_CR1","first-page":"1","volume":"I","author":"K. Ajdukewicz","year":"1937","unstructured":"K. Ajdukewicz. Die syntaktische konnexit\u00e4t. Studia Philosophica, I:1\u201327, 1937. English translation in S. McCall, Polish Logic 1920\u20131939, Clarendon Press, Oxford, 1967.","journal-title":"Studia Philosophica"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"M. Barr. *-Autonomous categories and linear logic. Math Structures in Comp. Sci., 1(2), 1991.","DOI":"10.1017\/S0960129500001274"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"C. Brown and D. Gurr. A categorical linear framework for Petri nets. In J. Mitchell, editor, Logic in Computer Science, pages 208\u2013218. IEEE Computer Society, June 1990.","DOI":"10.1109\/LICS.1990.113747"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"C. Brown, D. Gurr, and V. de Paiva. A linear specification language for Petri nets. Technical Report DAIMI PB-363, Computer Science Department, Aarhus University, October 1991.","DOI":"10.7146\/dpb.v20i363.6594"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"G. Boudol. Computations of distributed systems, part 1: flow event structures and flow nets, 1990. Report INRIA Sophia Antipolis, in preparation.","DOI":"10.1007\/3-540-53479-2_4"},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823\u2013843, 1936.","journal-title":"Annals of Mathematics"},{"key":"1_CR7","unstructured":"J.W. de Bakker and W.P. de Roever. A calculus for recursive program schemes. In M. Nivat, editor, Automata, Languages and Programming, pages 167\u2013196. North Holland, 1972."},{"key":"1_CR8","first-page":"331","volume":"10","author":"A. Morgan De","year":"1860","unstructured":"A. De Morgan. On the syllogism, no. IV, and on the logic of relations. Trans. Cambridge Phil. Soc., 10:331\u2013358, 1860.","journal-title":"Trans. Cambridge Phil. Soc."},{"key":"1_CR9","first-page":"341","volume-title":"A dialectica-like model of linear logic","author":"V. Paiva de","year":"1989","unstructured":"V. de Paiva. A dialectica-like model of linear logic. In Proc. Conf. on Category Theory and Computer Science, LNCS 389, pages 341\u2013356, Manchester, September 1989. Springer-Verlag."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"V. Gupta and V.R. Pratt. Gates accept concurrent behavior. In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci., pages 62\u201371, November 1993.","DOI":"10.1109\/SFCS.1993.366881"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-1981-4210","volume":"IV.2","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski. On partial languages. Fundamenta Informaticae, IV.2:427\u2013498, 1981.","journal-title":"Fundamenta Informaticae"},{"key":"1_CR12","unstructured":"V. Gupta. Concurrent kripke structures. In Proceedings of the North American Process Algebra Workshop, Cornell CS-TR-93-1369, August 1993."},{"key":"1_CR13","unstructured":"V. Gupta. Chu Spaces: A Model of Concurrency. PhD thesis, Stanford University, September 1994. Tech. Report, available as ftp:\/\/boole.stanford.edu\/pub\/gupthes.ps.Z."},{"key":"1_CR14","unstructured":"P. Hitchcock and Park D. Induction rules and termination proofs. In M. Nivat, editor, Automata, Languages and Programming. North-Holland, 1973."},{"key":"1_CR15","first-page":"135","volume":"3","author":"C.A.R. Hoare","year":"1974","unstructured":"C.A.R. Hoare and P.E. Lauer. Consistent and complementary formal theories of the semantics of programming languages. Acta Informatica, 3:135\u2013153, 1974.","journal-title":"Acta Informatica"},{"issue":"3","key":"1_CR16","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"J. Lambek. The mathematics of sentence structure. American Math. Monthly, 65(3):154\u2013170, 1958.","journal-title":"American Math. Monthly"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Y. Lafont and T. Streicher. Games semantics for linear logic. In Proc. 6th Annual IEEE Symp. on Logic in Computer Science, pages 43\u201349, Amsterdam, July 1991.","DOI":"10.1109\/LICS.1991.151629"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Concurrent program schemas and their interpretation. In Proc. Aarhus Workshop on Verification of Parallel Programs, 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, LNCS 92. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"1_CR20","first-page":"157+iv","volume-title":"PhD thesis","author":"K.C. Ng","year":"1984","unstructured":"K.C. Ng. Relation Algebras with Transitive Closure. PhD thesis, University of California, Berkeley, 1984. 157+iv pp."},{"key":"1_CR21","first-page":"A29","volume":"24","author":"K.C. Ng","year":"1977","unstructured":"K.C. Ng and A. Tarski. Relation algebras with transitive closure, Abstract 742-02-09. Notices Amer. Math. Soc., 24:A29\u2013A30, 1977.","journal-title":"Notices Amer. Math. Soc."},{"key":"1_CR22","first-page":"386","volume-title":"Proc. IFIP Congress 62","author":"C.A. Petri","year":"1962","unstructured":"C.A. Petri. Fundamentals of a theory of asynchronous information flow. In Proc. IFIP Congress 62, pages 386\u2013390, Munich, 1962. North-Holland, Amsterdam."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Semantical considerations on Floyd-Hoare logic. In Proc. 17th Ann. IEEE Symp. on Foundations of Comp. Sci., pages 109\u2013121, October 1976.","DOI":"10.1109\/SFCS.1976.27"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. On the composition of processes. In Proceedings of the Ninth Annual ACM Symposium on Principles of Programming Languages, January 1982.","DOI":"10.1145\/582153.582177"},{"key":"1_CR25","first-page":"97","volume-title":"Action logic and pure induction","author":"V.R. Pratt","year":"1990","unstructured":"V.R. Pratt. Action logic and pure induction. In J. van Eijck, editor, Logics in AI: European Workshop JELIA '90, LNCS 478, pages 97\u2013120, Amsterdam, NL, September 1990. Springer-Verlag."},{"key":"1_CR26","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BFb0084795","volume-title":"Proc. of CONCUR '92, LNCS 630","author":"V.R. Pratt","year":"1992","unstructured":"V.R. Pratt. The duality of time and information. In Proc. of CONCUR '92, LNCS 630, pages 237\u2013253, Stonybrook, New York, August 1992. Springer-Verlag."},{"key":"1_CR27","first-page":"166","volume-title":"Linear logic for generalized quantum mechanics","author":"V.R. Pratt","year":"1993","unstructured":"V.R. Pratt. Linear logic for generalized quantum mechanics. In Proc. Workshop on Physics and Computation (PhysComp'92), pages 166\u2013180, Dallas, 1993. IEEE."},{"key":"1_CR28","first-page":"142","volume-title":"Proceedings of MFCS'93","author":"V.R. Pratt","year":"1993","unstructured":"V.R. Pratt. The second calculus of binary relations. In Proceedings of MFCS'93, pages 142\u2013155, Gda\u0144sk, Poland, 1993. Springer-Verlag."},{"key":"1_CR29","volume-title":"Technical report","author":"V. Pratt","year":"1994","unstructured":"V. Pratt. Chu spaces: complementarity and uncertainty in rational mechanics. Technical report, TEMPUS Summer School, Budapest, July 1994. Manuscript available as pub\/bud.tex.Z by anonymous FTP from Boole.Stanford.EDU."},{"key":"1_CR30","volume-title":"Chu spaces: Automata with quantum aspects","author":"V.R. Pratt","year":"1994","unstructured":"V.R. Pratt. Chu spaces: Automata with quantum aspects. In Proc. Workshop on Physics and Computation (PhysComp'94), Dallas, 1994. IEEE."},{"key":"1_CR31","first-page":"149","volume-title":"Logic and Information Flow (Amsterdam 1992)","author":"V.R. Pratt","year":"1994","unstructured":"V.R. Pratt. A roadmap of some two-dimensional logics. In J. Van Eijck and A. Visser, editors, Logic and Information Flow (Amsterdam 1992), pages 149\u2013162, Cambridge, MA, 1994. MIT Press."},{"key":"1_CR32","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M. Ward","year":"1939","unstructured":"M. Ward and R.P. Dilworth. Residuated lattices. Trans. AMS, 45:335\u2013354, 1939.","journal-title":"Trans. AMS"}],"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\/BFb0026562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T21:52:10Z","timestamp":1626731530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591726","9783540492184"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0026562","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}