{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299233},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156482"},{"type":"electronic","value":"9783540395270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15648-8_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:21:19Z","timestamp":1330194079000},"page":"269-283","source":"Crossref","is-referenced-by-count":8,"title":["Some constructions for order-theoretic models of concurrency"],"prefix":"10.1007","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Brauer, W., Net Theory and Applications, Springer-Verlag LNCS 84, 1980.","DOI":"10.1007\/3-540-100016"},{"key":"22_CR2","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"LNCS 107: Formalization of Programming Concepts","author":"J.D. Brock","year":"1981","unstructured":"Brock, J.D. and W.B. Ackerman, Scenarios: A Model of Non-Determinate Computation. In LNCS 107: Formalization of Programming Concepts, J. Diaz and I. Ramos, Eds., Springer-Verlag, New York, 1981, 252\u2013259."},{"key":"22_CR3","unstructured":"Denvir, T., W. Harwood, M. Jackson, and M. Ray, The Analysis of Concurrent Systems, Proceedings of a Tutorial and Workshop, Cambridge University, Sept. 1983, LNCS, Springer-Verlag, to appear."},{"key":"22_CR4","unstructured":"Gischer, J., Partial Orders and the Axiomatic Theory of Shuffle, Ph.D. Thesis, Computer Science Dept., Stanford University, Dec. 1984."},{"issue":"8","key":"22_CR5","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, CACM, 21, 8, 666\u2013672, August, 1978","journal-title":"CACM"},{"key":"22_CR6","volume-title":"The Semantics of a Simple Language for Parallel Programming, IFIP 74","author":"G. Kahn","year":"1974","unstructured":"Kahn, G., The Semantics of a Simple Language for Parallel Programming, IFIP 74, North-Holland, Amsterdam, 1974."},{"key":"22_CR7","first-page":"993","volume-title":"Coroutines and Networks of Parallel Processes, IFIP 77","author":"G. Kahn","year":"1977","unstructured":"Kahn, G. and D.B. MacQueen, Coroutines and Networks of Parallel Processes, IFIP 77, 993\u2013998, North-Holland, Amsterdam, 1977."},{"key":"22_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S., Categories for the Working Mathematician, Springer-Verlag, NY, 1971."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Milner, R., A Calculus of Communicating Behavior, Springer-Verlag LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli, A., The Temporal Logic of Programs, 18th IEEE Symposium on Foundations of Computer Science, 46\u201357. Oct. 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Pratt, V.R., On the Composition of Processes, Proceedings of the Ninth Annual ACM Symposium on Principles of Programming Languages, Jan. 1982.","DOI":"10.1145\/582153.582177"},{"key":"22_CR12","unstructured":"Pratt, V.R., Two-Way Channel with Disconnect, in [DH], section 3.1.3."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Pratt, V.R., The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial, Proc. CMU\/SERC Workshop on Logics of Programs, to appear in Springer Lecture Notes in Computer Science series, Pittsburgh, 1984.","DOI":"10.1007\/3-540-15670-4_9"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Winskel, G., A New Definition of Morphism on Petri Nets, Springer Lecture Notes in Computer Science, 166, 1984.","DOI":"10.1007\/3-540-12920-0_13"},{"key":"22_CR15","unstructured":"Winskel, G., Categories of Models for Concurrency, Technical Report no. 58, University of Cambridge, England, undated (rec'd Dec. 1984)."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15648-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:34Z","timestamp":1605643714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15648-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156482","9783540395270"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-15648-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}