{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T20:59:52Z","timestamp":1770411592468,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540601050","type":"print"},{"value":"9783540494355","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0015256","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:40:23Z","timestamp":1131864023000},"page":"392-405","source":"Crossref","is-referenced-by-count":37,"title":["Chu spaces and their interpretation as concurrent objects"],"prefix":"10.1007","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"24_CR1","unstructured":"A. Asperti. A logic for concurrency. Manuscript, November 1987."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"M. Barr. * -Autonomous categories, volume 752 of Lecture Notes in Mathematics. Springer-Verlag, 1979.","DOI":"10.1007\/BFb0064579"},{"issue":"2","key":"24_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1017\/S0960129500001274","volume":"1","author":"M. Barr","year":"1991","unstructured":"M. Barr. *-Autonomous categories and linear logic. Math Structures in Comp. Sci., 1(2):159\u2013178, 1991.","journal-title":"Math Structures in Comp. Sci."},{"key":"24_CR4","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":"24_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60:109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra and J.W. Klop. Process theory based on bisimulation semantics. In Proc. REX School\/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, pages 50\u2013122, Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013021"},{"issue":"2","key":"24_CR7","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":"24_CR8","unstructured":"C. A. Gunter and V. Gehlot. Nets as tensor theories. (preliminary report). In G. De Michelis, editor, Applications of Petri Nets, pages 174\u2013191, 1989. Also Univ. of Pennsylvania, Logic and Computation Report Nr 17."},{"key":"24_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\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"S. Gay and R. Nagarajan. A typed calculus of synchronous processes. In Logic in Computer Science, pages 210\u2013220. IEEE Computer Society, June 1995.","DOI":"10.1109\/LICS.1995.523258"},{"key":"24_CR11","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, 1993.","DOI":"10.1109\/SFCS.1993.366881"},{"key":"24_CR12","unstructured":"V. Gupta. Concurrent Kripke structures. In North American Process Algebra Workshop, Proceedings, Cornell CS-TR-93-1369, August 1993."},{"key":"24_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."},{"issue":"8","key":"24_CR14","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666\u2013672, August 1978.","journal-title":"Communications of the ACM"},{"key":"24_CR15","unstructured":"P.T. Johnstone. Stone Spaces. Cambridge University Press, 1982."},{"key":"24_CR16","volume-title":"Proc. IFIP Congress 74","author":"G. Kahn","year":"1974","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In Proc. IFIP Congress 74 North-Holland, Amsterdam, 1974."},{"key":"24_CR17","unstructured":"G.M. Kelly. Basic Concepts of Enriched Category Theory, London Math. Soc. Lecture Notes. 64. Cambridge University Press, 1982."},{"key":"24_CR18","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":"24_CR19","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"R. Milner. Action calculi, or syntactic action structures. In MFCS'93, Proceedings, volume 711 of Lecture Notes in Computer Science, pages 105\u2013121, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57182-5_7"},{"key":"24_CR21","first-page":"1","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D Walker. A calculus of mobile processes. Information and Control, 100:1\u201377, 1992.","journal-title":"Information and Control"},{"key":"24_CR22","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures, and domains, part I. Theoretical Computer Science, 13:85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"24_CR23","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, 1962. North-Holland, Amsterdam."},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Some constructions for order-theoretic models of concurrency. In Proc. Conf. on Logics of Programs, volume 193 of Lecture Notes in Computer Science, pages 269\u2013283, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15648-8_22"},{"issue":"1","key":"24_CR25","doi-asserted-by":"publisher","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":"24_CR26","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. The duality of time and information. In Proc. of CONCUR'92, volume 630 of Lecture Notes in Computer Science, pages 237\u2013253, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084795"},{"key":"24_CR27","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. The second calculus of binary relations. In MFCS'93, Proceedings, volume 711 of Lecture Notes in Computer Science, pages 142\u2013155, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57182-5_9"},{"key":"24_CR28","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 (PhysCornp'94), Dallas, 1994. IEEE."},{"key":"24_CR29","unstructured":"V.R. Pratt. Time and information in sequential and concurrent computation. In Proc. Theory and Practice of Parallel Programming (TPPP'94), Sendai, Japan, November 1994."},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Rational mechanics and natural mathematics. In TAPSOFT'95, volume 915 of Lecture Notes in Computer Science, pages 108\u2013122, Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59293-8_190"},{"key":"24_CR31","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. The Stone gamut: A coordinatization of mathematics. In Logic in Computer Science, pages 444\u2013454. IEEE Computer Society, June 1995.","DOI":"10.1109\/LICS.1995.523278"},{"key":"24_CR32","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":"24_CR33","unstructured":"K.I. Rosenthal. Quantales and their applications. Longman Scientific and Technical, 1990."},{"issue":"3","key":"24_CR34","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"D. Scott. Data types as lattices. SIAM Journal on Computing, 5(3):522\u2013587, 1976.","journal-title":"SIAM Journal on Computing"},{"key":"24_CR35","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1090\/conm\/092\/1003210","volume":"92","author":"R.A.G Seely","year":"1989","unstructured":"R.A.G Seely. Linear logic, *-autonomous categories and cofree algebras. In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 371\u2013382, held June 1987, Boulder, Colorado, 1989.","journal-title":"Contemporary Mathematics"},{"key":"24_CR36","first-page":"37","volume":"40","author":"M. Stone","year":"1936","unstructured":"M. Stone. The theory of representations for Boolean algebras. Trans. Amer. Math. Soc, 40:37\u2013111, 1936.","journal-title":"Trans. Amer. Math. Soc"},{"key":"24_CR37","doi-asserted-by":"crossref","unstructured":"B. Trakhtenbrot. Origins and metamorphoses of the trinity: logic, nets, automata. In D. Kozen, editor, Logic in Computer Science, pages 506\u2013507. IEEE Computer Society, June 1995.","DOI":"10.1109\/LICS.1995.523284"},{"key":"24_CR38","doi-asserted-by":"crossref","unstructured":"R. Van Glabbeek and G. Plotkin. Configuration structures. In Logic in Computer Science, pages 199\u2013209. IEEE Computer Society, June 1995.","DOI":"10.1109\/LICS.1995.523257"}],"container-title":["Lecture Notes in Computer Science","Computer Science Today"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T13:04:22Z","timestamp":1736082262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601050","9783540494355"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/bfb0015256","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}