{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T02:29:29Z","timestamp":1784255369616,"version":"3.55.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1986,2,1]],"date-time":"1986-02-01T00:00:00Z","timestamp":507600000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1986,2]]},"DOI":"10.1007\/bf01379149","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T00:11:46Z","timestamp":1112400706000},"page":"33-71","source":"Crossref","is-referenced-by-count":492,"title":["Modeling concurrency with partial orders"],"prefix":"10.1007","volume":"15","author":[{"given":"Vaughan","family":"Pratt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"V. R. Pratt, Some Constructions for Order-Theoretic Models of Concurrency,Proc. Conf. on Logics of Programs, Springer-Verlag LNCS 193, Brooklyn (1985).","DOI":"10.1007\/3-540-15648-8_22"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"T. Denvir, W. Harwood, M. Jackson, and M. Ray,The Analysis of Concurrent Systems, Proc. of a Tutorial and Workshop, September 1983, Cambridge University, LNCS 207, Springer-Verlag (1985).","DOI":"10.1007\/3-540-16047-7"},{"issue":"49","key":"CR3","first-page":"42","volume":"58","author":"C. Barney","year":"1985","unstructured":"C. Barney, Logic Designers Toss Out the Clock, Electronics58(49):42?45 (December 1985).","journal-title":"Electronics"},{"key":"CR4","unstructured":"J. Gischer, Partial Orders and the Axiomatic Theory of Shuffle, Ph.D. Thesis, Computer Science Dept., Stanford University (December 1984)."},{"key":"CR5","unstructured":"I. Greif, Semantics of Communicating Parallel Processes, Ph.D. Thesis, Project MAC Report TR-154, MIT (September 1975)."},{"key":"CR6","unstructured":"E. Best, C. Fernandez, and H. Pl\u00fcnnecke, Concurrent Systems and Processes, Final Report on the Foundational Part of the Project BEGRUND, FMD-Studien Nr. 104, GMD, Sankt Augustin, FDR (March 1985)."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"W. Reisig,Petri Nets: An Introduction Springer-Verlag (1985).","DOI":"10.1007\/978-3-642-69968-9"},{"key":"CR8","unstructured":"G. Winskel, Events in Computation, Ph.D. Thesis, CST-10-80, Dept. of Computer Science, University of Edinburgh (1980)."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"G. Winskel, A New Definition of Morphisms on Petri Nets, Proc. CMU\/SERC Workshop on Analysis of Concurrency, Springer-Verlag LNCS 196, Pittsburgh (1984).","DOI":"10.1007\/3-540-12920-0_13"},{"key":"CR10","series-title":"Technical Report","volume-title":"Categories of Models for Concurrency","author":"G. Winskel","year":"1984","unstructured":"G. Winskel, Categories of Models for Concurrency, Technical Report No. 58, University of Cambridge, England, (December 1984)."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"S. S. Pinter and P. Wolper, A Temporal Logic to Reason about Partially Ordered Computations,Proc. 3rd ACM Symp. on Principles of Distributed Computing, pp. 28?37, Vancouver (August 1984).","DOI":"10.1145\/800222.806733"},{"key":"CR12","unstructured":"L. Lamport, On Interprocess Communication, DEC Systems Research Center, Report No. 8 (1985)."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"J. F. A. K. Van Benthem,The Logic of Time, D. Reidel (1983).","DOI":"10.1007\/978-94-010-9868-7"},{"key":"CR14","unstructured":"G. J. Whitrow,The Natural Philosophy of Time, 2nd ed., Oxford University Press (1980)."},{"key":"CR15","unstructured":"Mazurkiewicz, Traces, Histories, Graphs: Instances of a Process Monoid,Proc. Conf. on Mathematical Foundations of Comput. Sci., Springer-Verlag LNCS 176 (1984)."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"V. R. Pratt, On the Composition of Processes,Proc. of the Ninth Annual ACM Symp. on Principles of Programming Languages (January 1982).","DOI":"10.1145\/582153.582177"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"J. D. Brock and W. B. Ackerman, Scenarios: A Model of Non-Determinate Computation. In:Formalization of Programming Concepts, J. Diaz and I. Ramos, Eds., Springer-Verlag LNCS 107, New York, pp. 252?259 (1981).","DOI":"10.1007\/3-540-10699-5_102"},{"key":"CR18","series-title":"IFIP","volume-title":"The Semantics of a Simple Language for Parallel Programming","author":"G. Kahn","year":"1974","unstructured":"G. Kahn, The Semantics of a Simple Language for Parallel Programming,IFIP 74, North-Holland, Amsterdam (1974)."},{"key":"CR19","series-title":"IFIP","first-page":"993","volume-title":"Coroutines and Networks of Parallel Processes","author":"G. Kahn","year":"1977","unstructured":"G. Kahn and D. B. MacQueen, Coroutines and Networks of Parallel Processes,IFIP 77 993?998, North-Holland, Amsterdam (1977)."},{"key":"CR20","unstructured":"V. R. Pratt, The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial,Proc. CMU\/SERC Workshop on Analysis of Concurrency, Springer-Verlag LNCS 197, Pittsburgh (1984)."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner, Calculi for Synchrony and Asynchrony,Theor. Comput. Sci. 25:267?310 (1983).","journal-title":"Theor. Comput. Sci."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"A. Pnueli, The Temporal Logic of Programs,18th IEEE Symp. on Foundations of Comput. Sci., pp. 46?57 (October 1977).","DOI":"10.1109\/SFCS.1977.32"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi, On the Temporal Analysis of Fairness,Proc. of the 7th Annual ACM Symp. on Principles of Programming Languages, pp. 163?173 (January 1980).","DOI":"10.1145\/567446.567462"},{"key":"CR24","unstructured":"V. R. Pratt, Two-Way Channel with Disconnect, in Denviret al. (3) section 3.1.3 (1983)."},{"key":"CR25","unstructured":"L. F. Monteiro and F. C. N. Pereira, Outline of a Sheaf-theoretic Approach to Concurrency,Proc. IEEE Symp. on Logic in Comput. Sci., Boston (July 1986)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01379149.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01379149\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01379149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T16:19:18Z","timestamp":1586189958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01379149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,2]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1986,2]]}},"alternative-id":["BF01379149"],"URL":"https:\/\/doi.org\/10.1007\/bf01379149","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,2]]}}}