{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:50Z","timestamp":1725456050662},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018343","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"21-51","source":"Crossref","is-referenced-by-count":3,"title":["Temporal structures"],"prefix":"10.1007","author":[{"given":"Ross","family":"Casley","sequence":"first","affiliation":[]},{"given":"Roger F.","family":"Crew","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[]},{"given":"Vaughan","family":"Pratt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"A.V. Aho","year":"1974","unstructured":"A.V. Aho, J. E. Hopcroft, and J.D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass, 1974."},{"key":"3_CR2","unstructured":"M. Arbib and E. Manes. Arrows, Structures, and Functors: The Categorical Imperative. Academic Press, 1975."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0022-4049(83)90100-7","volume":"29","author":"R. Betti","year":"1983","unstructured":"R. Betti, A. Carboni, R. Street, and R. Walters. Variation through enrichment. Journal of Pure and Applied Algebra, 29:109\u2013127, 1983.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, and A.D. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31:560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"key":"3_CR5","unstructured":"R. Crew. Parametrized process categories. In Proc. First International Conference on Algebraic Methods and Specification Techniques, pages 39\u201342, Iowa City, May 1989."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Samuel Eilenberg and G. Max Kelly. Closed categories. In S. Eilenberg, D. K. Harrison, S. MacLane, and H. R\u00f6hrl, editors, Proceedings of the Conference on Categorical Algebra, La Jolla, 1965, pages 421\u2013562, Springer-Verlag, 1966.","DOI":"10.1007\/978-3-642-99902-4_22"},{"key":"3_CR7","volume-title":"Modeling concurrency by partial orders and nonlinear transition systems","author":"H. Gaifman","year":"1989","unstructured":"H. Gaifman. Modeling concurrency by partial orders and nonlinear transition systems. In Proc. REX School\/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Springer-Verlag, Noordwijkerhout, The Netherlands, 1989."},{"key":"3_CR8","unstructured":"J. Gischer. Partial Orders and the Axiomatic Theory of Shuffle. PhD thesis, Computer Science Dept., Stanford University, December 1984."},{"key":"3_CR9","unstructured":"H. Gaifman and V.R. Pratt. Partial order models of concurrency and the computation of functions. In Proc. IEEE Symp. on Logic in Computer Science, pages 72\u201385, Ithaca, NY, June 1987."},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-1981-4210","volume":"IV.2","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski. On partial languages. Fundamenta Informaticae, IV.2:427\u2013498, 1981.","journal-title":"Fundamenta Informaticae"},{"key":"3_CR11","unstructured":"G.M. Kelly. Basic Concepts of Enriched Category Theory: London Math. Soc. Lecture Notes. 64, Cambridge University Press, 1982."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"G.M. Kelly and R. Street. Review of the elements of 2-categories. In LNM 420, Springer-Verlag, 1974.","DOI":"10.1007\/BFb0063101"},{"key":"3_CR13","volume-title":"Rendiconti del Seminario Matematico e Fisico di Milano, XLIII","author":"W. Lawvere","year":"1973","unstructured":"W. Lawvere. Metric spaces, generalized logic, and closed categories. In Rendiconti del Seminario Matematico e Fisico di Milano, XLIII, Tipografia Fusi, Pavia, 1973."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"3_CR15","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":"3_CR16","volume-title":"The pomset model of parallel processes: unifying the temporal and the spatial","author":"V.R. Pratt","year":"1984","unstructured":"V.R. Pratt. The pomset model of parallel processes: unifying the temporal and the spatial. In Proc. CMU\/SERC Workshop on Analysis of Concurrency, LNCS 197, Springer-Verlag, Pittsburgh, 1984."},{"key":"3_CR17","volume-title":"Some constructions for order-theoretic models of concurrency","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, Springer-Verlag, Brooklyn, 1985."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"V.R. Pratt. Two-way channel with disconnect. In The Analysis of Concurrent Systems: Proceedings of a Tutorial and Workshop, LNCS 207, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-16047-7_39"},{"issue":"1","key":"3_CR19","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. International Journal of Parallel Programming, 15(1):33\u201371, February 1986.","journal-title":"International Journal of Parallel Programming"},{"key":"3_CR20","unstructured":"V.R. Pratt. Enriched categories and the floyd-warshall connection. In Proc. First International Conference on Algebraic Methods and Specification Techniques, pages 177\u2013180, Iowa City, May 1989."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"A. Rabinovich and B.A. Trakhtenbrot. Behavior structures and nets. Fundamenta Informatica, 11(4), 1988.","DOI":"10.3233\/FI-1988-11404"},{"key":"3_CR22","unstructured":"G. Winskel. Events in Computation. PhD thesis, Dept. of Computer Science, University of Edinburgh, 1980."},{"key":"3_CR23","volume-title":"A category of labelled petri nets and compositional proof system","author":"G. Winskel","year":"1988","unstructured":"G. Winskel. A category of labelled petri nets and compositional proof system. In Proc. Third Annual Symposium on Logic in Computer Science, Computer Society Press, Edinburgh, 1988."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018343.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T03:51:46Z","timestamp":1626753106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018343"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0018343","relation":{},"subject":[]}}