{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:17:43Z","timestamp":1778249863102,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540440437","type":"print"},{"value":"9783540456940","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45694-5_3","type":"book-chapter","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T03:44:18Z","timestamp":1191555858000},"page":"41-56","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Event-State Duality: The Enriched Case"],"prefix":"10.1007","author":[{"given":"Vaughan R.","family":"Pratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"3_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BFb0084795","volume-title":"The duality of time and information","author":"V. Pratt","year":"1992","unstructured":"Pratt, V.: The duality of time and information. In: Proc. of CONCUR\u201992. Volume 630 of Lecture Notes in Computer Science., Stonybrook, New York, Springer-Verlag (1992) 237\u2013253"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Gupta, V., Pratt, V.: Gates accept concurrent behavior. In: Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci. (1993) 62\u201371","DOI":"10.1109\/SFCS.1993.366881"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Barr, M.: \u2731-Autonomous categories. Volume 752 of Lecture Notes in Mathematics. Springer-Verlag (1979)","DOI":"10.1007\/BFb0064579"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1017\/S0960129500001286","volume":"1","author":"R. Casley","year":"1991","unstructured":"Casley, R., Crew, R., Meseguer, J., Pratt, V.: Temporal structures. Math. Structures in Comp. Sci. 1 (1991) 179\u2013213","journal-title":"Math. Structures in Comp. Sci."},{"key":"3_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":"Girard, J. Y.: Linear logic. Theoretical Computer Science 50 (1987) 1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modeling concurrency with geometry. In: Proc. 18th Ann. ACM Symposium on Principles of Programming Languages. (1991) 311\u2013322","DOI":"10.1145\/99583.99625"},{"key":"3_CR7","unstructured":"Papadimitriou, C.: The Theory of Database Concurrency Control. Computer Science Press (1986)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1017\/S0960129500003169","volume":"10","author":"V. Pratt","year":"2000","unstructured":"Pratt, V.: Higher dimensional automata revisited. Math. Structures in Comp. Sci. 10 (2000) 525\u2013548","journal-title":"Math. Structures in Comp. Sci."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Goubault, E.: (ed.) geometry and concurrency. Mathematical Structures in Computer Science, special issue 10 (2000) 409\u2013573 (7 papers)","DOI":"10.1017\/S0960129500003121"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"America, P., Rutten, J.: Solving reflexive domain equations in a category of complete metric spaces. Journal of Computer and System Sciences 39 (1989) 343\u2013375","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR11","unstructured":"Gupta, V.: Chu Spaces: A Model of Concurrency. PhD thesis, Stanford University (1994) Tech. Report, available as http:\/\/boole.stanford.edu\/pub\/gupthes.ps.gz."},{"key":"3_CR12","unstructured":"Pratt, V.: Transition and cancellation in concurrency and branching time. Math. Structures in Comp. Sci., special issue on the difference between sequentiality and concurrency, to appear (2002)"},{"key":"3_CR13","unstructured":"Pratt, V.: Chusp aces as a semantic bridge between linear logic and mathematics. Theoretical Computer Science (2002) to appear, preprint at http:\/\/boole.stanford.edu\/pub\/bridge.ps.gz."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Lawvere, W.: Metric spaces, generalized logic, and closed categories. In: Rendiconti del Seminario Matematico e Fisico di Milano, XLIII. Tipografia Fusi, Pavia (1973)","DOI":"10.1007\/BF02924844"},{"key":"3_CR15","unstructured":"Pratt, V.: Enriched categories and the Floyd-Warshall connection. In: Proc. First International Conference on Algebraic Methodology and Software Technology, Iowa City (1989) 177\u2013180"},{"key":"3_CR16","first-page":"216","volume":"249","author":"B. Roy","year":"1959","unstructured":"Roy, B.: Transitivit\u00e9 et connexit\u00e9. Comptes Rendues Acad. Sci. 249 (1959) 216\u2013218","journal-title":"Comptes Rendues Acad. Sci."},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/321105.321107","volume":"9","author":"S. Warshall","year":"1962","unstructured":"Warshall, S.: A theorem on Boolean matrices. Journal of the ACM 9 (1962) 11\u201312","journal-title":"Journal of the ACM"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/367766.368168","volume":"5","author":"R. Floyd","year":"1962","unstructured":"Floyd, R.: Algorithm 97: shortest path. Communications of the ACM 5 (1962) 345","journal-title":"Communications of the ACM"},{"key":"3_CR19","first-page":"3","volume-title":"Automata Studies","author":"S. Kleene","year":"1956","unstructured":"Kleene, S.: Representation of events in nerve nets and finite automata. In: Automata Studies. Princeton University Press, Princeton, NJ (1956) 3\u201342"},{"key":"3_CR20","first-page":"13","volume":"2","author":"P. Robert","year":"1968","unstructured":"Robert, P., Ferland, J.: G\u00e9n\u00e9ralisation de l\u2019algorithme de Warshall. Revue Fran\u00c7aise d\u2019Informatique et de Recherche Operationnelle 2 (1968) 13\u201325","journal-title":"Revue Fran\u00c7aise d\u2019Informatique et de Recherche Operationnelle"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer-Verlag (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"3_CR22","unstructured":"Kelly, G.: Basic Concepts of Enriched Category Theory: London Math. Soc. Lecture Notes. 64. Cambridge University Press (1982)"},{"key":"3_CR23","unstructured":"Rosenthal, K.: Quantales and their applications. Longman Scientific and Technical (1990)"},{"key":"3_CR24","unstructured":"Rosenthal, K.: The theory of quantaloids. Longman Scientific and Technical (1996)"},{"key":"3_CR25","unstructured":"Gaifman, H., Pratt, V.: Partial order models of concurrency and the computation of functions. In: Proc. 2nd Annual IEEE Symp. on Logic in Computer Science, Ithaca, NY (1987) 72\u201385"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Gaifman, H.: Modeling concurrency by partial orders and nonlinear transition systems. In: Proc. REX School\/Workshop on Linear Time, Branching Time and Partial Order in Logics andModels for Concurrency, Noordwijkerhout, The Netherlands, Springer-Verlag (1989) 467\u2013488","DOI":"10.1007\/BFb0013031"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2002 \u2014 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45694-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:59:47Z","timestamp":1778248787000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45694-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440437","9783540456940"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45694-5_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"18 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}