{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T20:45:00Z","timestamp":1648932300505},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1987,12,1]],"date-time":"1987-12-01T00:00:00Z","timestamp":565315200000},"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":[[1987,12]]},"DOI":"10.1007\/bf01388999","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T09:38:27Z","timestamp":1112434707000},"page":"451-478","source":"Crossref","is-referenced-by-count":1,"title":["Partial ordering models for concurrency can be defined operationally"],"prefix":"10.1007","volume":"16","author":[{"given":"Pierpaolo","family":"Degano","sequence":"first","affiliation":[]},{"given":"Sergio","family":"Marchetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt, Modelling Concurrency with Partial Orders,International Journal of Parallel Programming,15:33?71 (1986).","journal-title":"International Journal of Parallel Programming"},{"key":"CR2","unstructured":"P. Degano, R. De Nicola, and U. Montanari, A Partial Ordering Semantics for CCS. Dipartimento di Informatica Research Rep TR-3\/88."},{"issue":"1","key":"CR3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"D. Austry and G. Boudol, Alg\u00e8bre de Processus et Synchronization,Theoret. Comput. Sci.,30(1):91?131 (1984).","journal-title":"Theoret. Comput. Sci."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"61","author":"J. A. Bergstra","year":"1984","unstructured":"J. A. Bergstra and J.-W. Klop, Process Algebra for Synchronous Communication,Info. and Co.,61:109?137 (1984).","journal-title":"Info. and Co."},{"issue":"3","key":"CR5","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 ACM,31 (3):560?599 (1984).","journal-title":"Journal of ACM"},{"key":"CR6","unstructured":"M. Hennessy,An Algebraic Theory of Processes, MIT Press (to appear)."},{"key":"CR7","series-title":"Proc. IFIP'83","first-page":"657","volume-title":"What Good is Temporal Logic?","author":"L. Lamport","year":"1983","unstructured":"L. Lamport, What Good is Temporal Logic?Proc. IFIP'83, North-Holland, Amsterdam, pp. 657?668 (1983)."},{"issue":"2","key":"CR8","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G. Milne","year":"1985","unstructured":"G. Milne, CIRCAL and the Representation of Communication, Concurrency and Time,ACM TOPLAS,7(2):270?298 (1985).","journal-title":"ACM TOPLAS"},{"key":"CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner,A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, Heidelberg (1980)."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/978-94-009-7893-5_14","volume-title":"Theoretical Foundations of Programming Methodology","author":"M. Nivat","year":"1982","unstructured":"M. Nivat, Behaviours of Processes and Synchronized Systems of Processes, in:Theoretical Foundations of Programming Methodology M. Broy and G. Schmidt (eds.), Reidel, Dodrecht, pp. 473?550 (1982)."},{"key":"CR11","series-title":"Technical Report DAIMI FN-19","volume-title":"A Structural Approach to Operational Semantics","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin, A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Aarhus University, Department of Computer Science, Aarhus, (1981)."},{"key":"CR12","series-title":"Lecture Notes in Computer Science","first-page":"123","volume-title":"Proc. Tapsoft-CAAP '87","author":"G. Boudol","year":"1986","unstructured":"G. Boudol and I. Castellani, On the Semantics of Concurrency, Partial Orders and Transition Systems inProc. Tapsoft-CAAP '87, Lecture Notes in Computer Science, Springer-Verlag, Heidelberg,249:123?137 (1986)."},{"key":"CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-18419-8_12","volume-title":"Views of Distributed Systems, Proc. Advanced School on Mathematical Models for the Semantics of Parallelism","author":"M. Broy","year":"1987","unstructured":"M. Broy and T. Steicher, Views of Distributed Systems, Proc. Advanced School on Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, Springer-Verlag, Heidelberg,280:114?143 (1987)."},{"key":"CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BFb0036905","volume-title":"On the Observational Semantics of Fair Parallelism, in Proc. ICALP","author":"Ph. Darondeau","year":"1983","unstructured":"Ph. Darondeau and L. Kott, On the Observational Semantics of Fair Parallelism, in Proc. ICALP, Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, 147?151 (1983)."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/23005.24038","volume":"34","author":"P. Degano","year":"1987","unstructured":"P. Degano and U. Montanari, A Model of Distributed Systems Based on Graph Rewriting,Journal of ACM,34:411?449 (1987).","journal-title":"Journal of ACM"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1016\/0022-0000(87)90032-8","volume":"34","author":"P. Degano","year":"1987","unstructured":"P. Degano and U. Montanari, Concurrent Histories: A Basis for Observing Distributed Systems,Journal of Computer and System Sciences,34:442?461 (1987).","journal-title":"Journal of Computer and System Sciences"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"12","author":"L. Lamport","year":"1978","unstructured":"L. Lamport, Time, Clocks and the Ordering of Events in a Distributed System,Communication of ACM,12:558?564 (1978).","journal-title":"Communication of ACM"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, G. Winskel, Petri Nets, Event Structures and Domains, Part 1,Theoret. Comput. Sci.,13:85?108 (1981).","journal-title":"Theoret. Comput. Sci."},{"key":"CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-10001-6_21","volume-title":"Net Theory and Applications","author":"C. A. Petri","year":"1980","unstructured":"C. A. Petri, Concurrency, inNet Theory and Applications Lecture Notes in Computer Science, Springer-Verlag, Heidelberg,84:1?19 (1980)."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","volume":"12","author":"J. Winkowski","year":"1980","unstructured":"J. Winkowski, Behaviours of Concurrent Systems,Theoretical Computer Science 12:39?60 (1980).","journal-title":"Theoretical Computer Science"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"G. Winskel, Petri Nets, Algebras, Morphisms and Compositionality,Info. and Co.,72:197?238 (1987).","journal-title":"Info. and Co."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig, The Non-sequential Behaviour of Petri Nets,Info. and Co. 57:125?147 (1983).","journal-title":"Info. and Co."},{"key":"CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-18419-8_13","volume-title":"CCS is an (Augmented) Contact-Free Condition\/Event System, Proc. Advanced School on Mathematical Models for the Semantics of Parallelism","author":"P. Degano","year":"1987","unstructured":"P. Degano, R. De Nicola, and U. Montanari, CCS is an (Augmented) Contact-Free Condition\/Event System, Proc. Advanced School on Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, Springer-Verlag, Heidelberg,280:144?165 (1987)."},{"key":"CR24","unstructured":"P. Degano, R. Nicola, and U. Montanari, A Distributed Operational Semantics for CCS based on Condition\/Event Systems. Nota Interna B4-21 (IEI, 1987). (to appear inActa Informatica)."},{"key":"CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1988","author":"P. Degano","year":"1988","unstructured":"P. Degano, R. Gorrieri, and S. Marchetti, An Exercise in Concurrency: A CSP Process as a C\/E System, inAdvances in Petri Nets 1988 Lecture Notes in Computer Science, Springer-Verlag, Heidelberg (1988) (to appear)."},{"key":"CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"R. Milner, Fully Abstract Models for Typed Lambda-Calculi,Theoret. Comput. Sci.,4:1?23 (1977).","journal-title":"Theoret. Comput. Sci."},{"key":"CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-18086-9_27","volume-title":"Advances in Petri Nets 1987","author":"E.-R. Olderog","year":"1987","unstructured":"E.-R. Olderog, Operational Petri Net Semantics for CCSP. InAdvances in Petri Nets 1987, G. Rozenberg, (ed.) Lecture Notes in Computer Science, Springer-Verlag, Heidelberg,266:196?223 (1987)."},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz, Concurrent Program Schemas and Their Interpretation, Proc. Aarhus Workshop on Verification of Parallel Programs, (1977).","DOI":"10.7146\/dpb.v6i78.7691"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01388999\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01388999.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01388999\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01388999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T16:35:57Z","timestamp":1586190957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01388999"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,12]]},"references-count":28,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1987,12]]}},"alternative-id":["BF01388999"],"URL":"https:\/\/doi.org\/10.1007\/bf01388999","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,12]]}}}