{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:46Z","timestamp":1762458946520},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:16:39Z","timestamp":1330197399000},"page":"123-137","source":"Crossref","is-referenced-by-count":47,"title":["On the semantics of concurrency: Partial orders and transition systems"],"prefix":"10.1007","author":[{"given":"G.","family":"Boudol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Castellani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"G. Boudol, Notes on Algebraic Calculi of Processes, in Logics and Models of Concurrent Systems (K. Apt, Ed.) NATO ASI Series F13, Springer-Verlag (1985) 261\u2013303.","DOI":"10.1007\/978-3-642-82453-1_9"},{"key":"10_CR2","unstructured":"G. Boudol, I. Castellani, Concurrency and Communication, full version of this paper, in preparation (1986)."},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0036900","volume":"154","author":"S. Brookes","year":"1983","unstructured":"S. Brookes, W. C. Rounds, Behavioural Equivalence Relations Induced by Programming Logics, ICALP 83, Lecture Notes in Comput. Sci. 154 (1983) 97\u2013108.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR4","unstructured":"I. Castellani, P. Franceschi, U. Montanari, Labelled Event Structures: a Model for Observable Concurrency, in Formal Description of Programming Concepts 2 (D. Bj\u00f8rner, Ed.), North-Holland (1983) 383\u2013400."},{"key":"10_CR5","unstructured":"I. Castellani, M. Hennessy, Distributed Bisimulations, to be published (1985)."},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BFb0036905","volume":"154","author":"P. Darondeau","year":"1983","unstructured":"Ph. Darondeau, L. Kott, On the Observational Semantics of Fair Parallelism, ICALP 83, Lecture Notes in Comput. Sci. 154 (1983) 147\u2013159.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR7","unstructured":"P. Degano, U. Montanari, Distributed Systems, Partial Ordering of Events and Event Structures, in Control Flow and Data Flow: Concepts of Distributed Programming (M. Broy, Ed.), NATO ASI Series F14, Springer-Verlag (1985) 7\u2013106."},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1007\/BFb0028836","volume":"199","author":"P. Degano","year":"1985","unstructured":"P. Degano, R. de Nicola U. Montanari, Partial Ordering Derivations for CCS, FCT 85, Lecture Notes in Comput. Sci. 199 (1985) 520\u2013533.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume":"84","author":"H. J. Genrich","year":"1980","unstructured":"H. J. Genrich, E. Stankiewicz-Wiechno, A Dictionary of Some Basic Notions of Net Theory, in Net Theory and Applications (W. Brauer, Ed.) Lecture Notes in Comput. Sci. 84 (1980) 519\u2013531.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR10","unstructured":"J. L. Gischer, Partial Orders and the Axiomatic Theory of Shuffle, Ph. D. Thesis Stanford University (1984)."},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz, W. Reisig, The Non-sequential Behaviour of Petri Nets, Information and Control 57 (1983) 125\u2013147.","journal-title":"Information and Control"},{"key":"10_CR12","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, Fundamentae Informaticae IV.2 (1981) 427\u2013498.","journal-title":"Fundamentae Informaticae"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"157","DOI":"10.4064\/fm-65-2-157-167","volume":"65","author":"P. A. Grillet","year":"1969","unstructured":"P. A. Grillet, Maximal Chains and Antichains, Fund. Math. 65 (1969) 157\u2013167.","journal-title":"Fund. Math."},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy, R. Milner, Algebraic Laws for Nondeterminism and Concurrency, JACM 32 (1985) 137\u2013161.","journal-title":"JACM"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz, Concurrent Program Schemes and their Interpretations, Aarhus Workshop on Verification of Parallel Programs, Daimi PB-78, Aarhus University (1977).","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BFb0030293","volume":"176","author":"A. Mazurkiewicz","year":"1984","unstructured":"A. Mazurkiewicz, Traces, Histories, Graphs: Instances of a Process Monoid, MFCS 84, Lecture Notes in Comput. Sci. 176 (1984) 115\u2013133.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, Lecture Notes in Comput. Sci. 92 (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"10_CR18","doi-asserted-by":"publisher","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, Theoret. Comput. Sci. 25 (1983) 267\u2013310.","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-15670-4_10","volume":"197","author":"R. Milner","year":"1985","unstructured":"R. Milner, Lectures on a Calculus for Communicating Systems, Seminar on Concurrency, Lecture Notes in Comput. Sci. 197 (1985) 197\u2013220.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR20","doi-asserted-by":"publisher","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, Theoret. Comput. Sci. 13 (1981) 85\u2013108.","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR21","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0017309","volume":"104","author":"D. Park","year":"1981","unstructured":"D. Park, Concurrency and Automata on Infinite Sequences, 5th GI Conf., Lecture Notes in Comput. Sci. 104 (1981) 167\u2013183.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR22","unstructured":"C. A. Petri, Non-sequential Processes, GMD-ISF Rep. 77-05 (1977)."},{"key":"10_CR23","unstructured":"G. Plotkin, A Structural Approach to Operational Semantics, Daimi FN-19, Aarhus University (1981)."},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"G. Plotkin, An Operational Semantics for CSP, in Formal Description of Programming Concepts 2 (D. Bj\u00f8rner, Ed.), North-Holland (1983) 199\u2013225.","DOI":"10.1007\/3-540-11981-7_17"},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/3-540-15204-0_22","volume":"188","author":"H. Pl\u00fcnnecke","year":"1984","unstructured":"H. Pl\u00fcnnecke, K-Density, N-Density and Finiteness Properties, in Advances in Petri Nets 84 (G. Rozenberg, Ed.) Lecture Notes in Comput. Sci. 188 (1984) 392\u2013412.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"V. R. Pratt, On the Composition of Processes, 9th POPL (1982) 213\u2013223.","DOI":"10.1145\/582153.582177"},{"key":"10_CR27","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/3-540-15670-4_9","volume":"197","author":"V.R. Pratt","year":"1985","unstructured":"V.R. Pratt, The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial, Seminar on Concurrency, Lecture Notes in Comput. Sci. 197 (1985) 180\u2013196.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"W. Reisig, On the Semantics of Petri Nets, in Formal Models in Programming (G. Chroust, E.J. Neuhold, Eds.), North-Holland (1985) 347\u2013372.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1093\/comjnl\/28.5.449","volume":"28","author":"M. W. Shields","year":"1985","unstructured":"M. W. Shields, Concurrent Machines, The Computer Journal 28 (1985) 449\u2013465.","journal-title":"The Computer Journal"},{"key":"10_CR30","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/3-540-08442-8_85","volume":"56","author":"J. Winkowski","year":"1977","unstructured":"J. Winkowski, Algebras of Partial Sequences, FCT 77, Lecture Notes in Comput. Sci. 56 (1977) 187\u2013196.","journal-title":"Lecture Notes in Comput. Sci."},{"key":"10_CR31","doi-asserted-by":"publisher","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, Theoret. Comput. Sci. 12 (1980) 39\u201360.","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR32","unstructured":"G. Winskel, Events in Computation, Ph. D. Thesis, Edinburgh University (1980)."},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"G. Winskel, Event Structure Semantics for CCS and Related Languages, Daimi PB-159, Aarhus University (1983).","DOI":"10.1007\/BFb0012800"},{"key":"10_CR34","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/3-540-15670-4_12","volume":"197","author":"G. Winskel","year":"1985","unstructured":"G. Winskel, Categories of Models for Concurrency, Seminar on Concurrency, Lecture Notes in Comput. Sci. 197 (1985) 246\u2013267.","journal-title":"Seminar on Concurrency, Lecture Notes in Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:57:34Z","timestamp":1640915854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}