{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:57:35Z","timestamp":1778299055846,"version":"3.51.4"},"reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540558224","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084795","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"237-253","source":"Crossref","is-referenced-by-count":10,"title":["The duality of time and information"],"prefix":"10.1007","author":[{"given":"Vaughan R.","family":"Pratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","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"},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","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":"18_CR3","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":"18_CR4","unstructured":"P.T. Johnstone. Stone Spaces. Cambridge University Press, 1982."},{"key":"18_CR5","first-page":"3","volume-title":"Automata Studies","author":"S.C. Kleene","year":"1956","unstructured":"S.C. Kleene. Representation of events in nerve nets and finite automata. In Automata Studies, pages 3\u201342. Princeton University Press, Princeton, NJ, 1956."},{"key":"18_CR6","first-page":"1879","volume-title":"Writings of Charles S. Peirce: A Chronological Edition, volume 4","year":"1986","unstructured":"Christian Kloesel, editor. Writings of Charles S. Peirce: A Chronological Edition, volume 4, 1879\u20131884. Indiana University Press, Bloomington, IN, 1986."},{"key":"18_CR7","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":"18_CR8","unstructured":"C. Papadimitriou. The Theory of Database Control. Computer Science Press, 1986."},{"key":"18_CR9","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":"18_CR10","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":"18_CR11","volume-title":"Event spaces und their linear logic","author":"V.R. Pratt","year":"1991","unstructured":"V.R. Pratt. Event spaces und their linear logic. In Proc. Second International Conference on Algebraic Methodology and Software Technology, Workshops in Computing, Iowa City, 1991. Springer-Verlag, to appear."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Modcling 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":"18_CR13","first-page":"430","volume-title":"Arithmetic + logic + geometry = concurrency","author":"V.R. Pratt","year":"1992","unstructured":"V.R. Pratt. Arithmetic + logic + geometry = concurrency. In Proc. First Latin American Symposium on Theoretical Informatics, LNCS 583, pages 430\u2013447, S\u00e3o Paulo, Brazil, April 1992. Springer-Verlag."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Origins of the calculus of binary relations. In Proc. 7th Annual IEEE Symp. on Logic in Computer Science, Santa Cruz, CA, June 1992.","DOI":"10.1109\/LICS.1992.185537"},{"key":"18_CR15","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":"18_CR16","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets: An Introduction. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"18_CR17","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":"18_CR18","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."},{"key":"18_CR19","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, LNCS 255","author":"G. Winskel","year":"1986","unstructured":"G. Winskel. Event structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, LNCS 255, Bad-Honnef, September 1986. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084795.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:25Z","timestamp":1607551645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0084795","relation":{},"subject":[]}}