{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:16:09Z","timestamp":1725455769091},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540552847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023846","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:17:40Z","timestamp":1132381060000},"page":"430-447","source":"Crossref","is-referenced-by-count":5,"title":["Arithmetic + logic + geometry = concurrency"],"prefix":"10.1007","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[]}],"member":"297","reference":[{"volume-title":"Dynamics-The Geometry of Behavior","year":"1989","author":"R.H. Abraham","key":"35_CR1","unstructured":"R.H. Abraham and C.D. Shaw. Dynamics-The Geometry of Behavior. Aerial Press, Inc., Santa Cruz, CA, 1989."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"G.D. Birkhoff. Dynamical Systems, volume 9 of Colloquium Publications. American Math. Soc., 1927.","DOI":"10.1090\/coll\/009"},{"key":"35_CR3","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1017\/S0305004100011464","volume":"29","author":"G. Birkhoff","year":"1933","unstructured":"G. Birkhoff. On the combination of subalgebras. Proc. Cambridge Phil. Soc, 29:441\u2013464, 1933.","journal-title":"Proc. Cambridge Phil. Soc"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"G. Birkhoff. An extended arithmetic. Duke Mathematical Journal, 3(2), June 1937.","DOI":"10.1215\/S0012-7094-37-00323-5"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"G. Birkhoff. Generalized arithmetic. Duke Mathematical Journal, 9(2), June 1942.","DOI":"10.1215\/S0012-7094-42-00921-9"},{"issue":"2","key":"35_CR6","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":"35_CR7","unstructured":"B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990."},{"key":"35_CR8","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":"Theoretical Computer Science"},{"key":"35_CR9","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-1981-4210","volume":"2","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski. On partial languages. Fundamenta Informaticae, IV.2:427\u2013498, 1981.","journal-title":"Fundamenta Informaticae, IV"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"B. Jonsson. A fully abstract trace model for dataflow networks. In Proc. 16th Annual ACM Symposium on Principles of Programming Languages, pages 155\u2013165, January 1989.","DOI":"10.1145\/75277.75291"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"J. Kok. A fully abstract semantics for data flow nets. In Proc. PARLE, II, LNCS 259, pages 351\u2013368. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17945-3_20"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures, and domains, part I. Theoretical Computer Science, 13, 1981.","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"35_CR13","unstructured":"C. Papadimitriou. The Theory of Database Control. Computer Science Press, 1986."},{"key":"35_CR14","unstructured":"G.D. Plotkin and V.R. Pratt. Teams can see pomsets. Manuscript available as pub\/pp.tex by anonymous FTP from Boole.Stanford.EDU, October 1988."},{"issue":"1","key":"35_CR15","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"},{"volume-title":"Workshops in Computing","year":"1991","author":"V.R. Pratt","key":"35_CR16","unstructured":"V.R. Pratt. Event spaces and their linear logic. In Proc. Second International Conference on Algebraic Methodology and Software Technology, to appear in 1992, Workshops in Computing, To appear in 1992, Iowa City, 1991. Springer-Verlag."},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Modeling concurrency with geometry. In Proc. 18th Ann. ACM Symposium on Principles of Programming Languages, pages 311\u2013322, January 1991.","DOI":"10.1145\/99583.99625"},{"key":"35_CR18","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H.A. Priestley","year":"1970","unstructured":"H.A. Priestley. Representation of distributive lattices. Bull. London Math. Soc., 2:186\u2013190, 1970.","journal-title":"Bull. London Math. Soc."},{"key":"35_CR19","first-page":"574","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, REX'88, LNCS 354","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B.A. Trakhtenbrot. Nets of processes and data flow. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, REX'88, LNCS 354, pages 574\u2013602, Noordwijkerhout, June 1988. Springer-Verlag."},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"J. Russel. Full abstraction for nondeterministic dataflow networks. In Proc. 30th IEEE Symposium on Foundations of Computer Science, October 1989.","DOI":"10.1109\/SFCS.1989.63474"},{"key":"35_CR21","doi-asserted-by":"crossref","unstructured":"M. Shields. Deterministic asynchronous automata. In E.J. Neuhold and G. Chroust, editors, Formal Models in Programming. Elsevier Science Publishers, B.V. (North Holland), 1985.","DOI":"10.1007\/3-540-15641-0_26"},{"key":"35_CR22","first-page":"1","volume":"67","author":"M. Stone","year":"1937","unstructured":"M. Stone. Topological representations of distributive lattices and brouwerian logics. \u010casopis P\u011bst. Math., 67:1\u201325, 1937.","journal-title":"\u010casopis P\u011bst. Math."},{"volume-title":"Proc. 3rd Annual Symposium on Logic in Computer Science","year":"1988","author":"G. Winskel","key":"35_CR23","unstructured":"G. Winskel. A category of labelled Petri nets and compositional proof system. In Proc. 3rd Annual Symposium on Logic in Computer Science, Edinburgh, 1988. Computer Society Press."}],"container-title":["Lecture Notes in Computer Science","LATIN '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023846.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T01:52:12Z","timestamp":1626745932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540552847"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0023846","relation":{},"subject":[]}}