{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:45:42Z","timestamp":1767771942299},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:24:23Z","timestamp":1330194263000},"page":"180-196","source":"Crossref","is-referenced-by-count":20,"title":["The pomset model of parallel processes: Unifying the temporal and the spatial"],"prefix":"10.1007","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"9_CR1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"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":"9_CR2","unstructured":"de Bakker, J.W., and W.P. de Roever, A calculus for recursive program schemes, in Automata, Languages and Programming, (ed. Nivat), 167\u2013196, North Holland, 1972."},{"key":"9_CR3","unstructured":"Gischer, J., Partial Orders and the Axiomatic Theory of Shuffle, Ph.D. Thesis, Computer Science Dept., Stanford University, Dec. 1984."},{"key":"9_CR4","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":"9_CR5","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":"9_CR6","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":"9_CR7","unstructured":"Winskel, G., Categories of Models for Concurrency, this volume."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:00:07Z","timestamp":1619557207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}