{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:37Z","timestamp":1725664477920},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_190","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:13:38Z","timestamp":1330276418000},"page":"108-122","source":"Crossref","is-referenced-by-count":8,"title":["Rational mechanics and natural mathematics"],"prefix":"10.1007","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"M. Barr. Autonomous categories, LNM 752. Springer-Verlag, 1979.","DOI":"10.1007\/BFb0064579"},{"key":"7_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"},{"issue":"2","key":"7_CR3","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1017\/S0960129500001286","volume":"1","author":"R.T Casley","year":"1991","unstructured":"R.T Casley, R.F. Crew, J. Meseguer, and V.R. Pratt. Temporal structures. Math. Structures in Comp. Sci., 1(2):179\u2013213, July 1991.","journal-title":"Math. Structures in Comp. Sci."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"J.G. Cramer. The transactional interpretation of quantum mechanics. Reviews of Modern Physics, pages 647\u2013687, 1986.","DOI":"10.1103\/RevModPhys.58.647"},{"key":"7_CR5","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\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"7_CR6","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":"7_CR7","unstructured":"V. Gupta. Concurrent Kripke structures. In Proceedings of the North American Process Algebra Workshop, Cornell CS-TR-93-1369, August 1993."},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B. J\u00f3nsson","year":"1982","unstructured":"B. J\u00f3nsson. Varieties of relation algebras. Algebra Universalis, 15:273\u2013298, 1982.","journal-title":"Algebra Universalis"},{"key":"7_CR9","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":"7_CR10","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":"7_CR11","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":"7_CR12","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-15648-8_22","volume-title":"Proc. Conf. on Logics of Programs, LNCS 193","author":"V.R. Pratt","year":"1985","unstructured":"V.R. Pratt. Some constructions for order-theoretic models of concurrency. In Proc. Conf. on Logics of Programs, LNCS 193, pages 269\u2013283, Brooklyn, 1985. Springer-Verlag."},{"issue":"1","key":"7_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V.R. Pratt","year":"1986","unstructured":"V.R. Pratt. Modeling concurrency with partial orders. Int. J. of Parallel Programming, 15(1):33\u201371, February 1986.","journal-title":"Int. J. of Parallel Programming"},{"key":"7_CR14","first-page":"97","volume-title":"Logics in AI: European Workshop JELIA '90, LNCS 478","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":"7_CR15","first-page":"77","volume-title":"Algebraic Logic and Universal Algebra in Computer Science, LNCS 425","author":"V.R. Pratt","year":"1988","unstructured":"V.R. Pratt. Dynamic algebras as a well-behaved fragment of relation algebras. In Algebraic Logic and Universal Algebra in Computer Science, LNCS 425, pages 77\u2013110, Ames, Iowa, June 1988, 1990. Springer-Verlag."},{"key":"7_CR16","first-page":"1","volume-title":"AMAST'91: Algebraic Methodology and Software Technology, Workshops in Computing","author":"V.R. Pratt","year":"1992","unstructured":"V.R. Pratt. Event spaces and their linear logic. In AMAST'91: Algebraic Methodology and Software Technology, Workshops in Computing, pages 1\u201323, Iowa City, 1992. Springer-Verlag."},{"key":"7_CR17","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":"7_CR18","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":"7_CR19","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":"7_CR20","unstructured":"A. Pultr and V. Trnkov\u00e1. Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories. North-Holland, 1980."},{"key":"7_CR21","unstructured":"B. Russell. The analysis of matter. Paul, Trench, Trubner (also Dover 1955), 1927."},{"issue":"2","key":"7_CR22","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1090\/S0002-9939-1994-1216823-2","volume":"122","author":"R. Rosebrugh","year":"1994","unstructured":"R. Rosebrugh and R.J. Wood. An adjoint characterization of the category of sets. Proc. Amer. Math. Soc., 122(2):409\u2013413, 1994.","journal-title":"Proc. Amer. Math. Soc."},{"key":"7_CR23","unstructured":"R.A. Watson. Descartes and Cartesianism. In The New Encylopaedia Britannica. Encyclopaedia Britannica, Inc., 1986."},{"key":"7_CR24","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","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_190.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:27Z","timestamp":1605648387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_190","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}