{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:16Z","timestamp":1725663796607},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:00Z","timestamp":1330269600000},"page":"318-337","source":"Crossref","is-referenced-by-count":5,"title":["Partial order semantics of Box expressions"],"prefix":"10.1007","author":[{"given":"Maciej","family":"Koutny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"J.C.M.Baeten and W.P.Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science (1990).","DOI":"10.1017\/CBO9780511624193"},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/3-540-56503-5_16","volume":"665","author":"E. Best","year":"1993","unstructured":"E.Best, R.Devillers and J.Esparza: General Refinement and Recursion Operators in the Box Calculus. Proc. of STACS-93, Springer-Verlag Lecture Notes in Computer Science Vol. 665, 130\u2013140 (1993).","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"18_CR3","unstructured":"E.Best, R.Devillers and J.Hall: The Petri Box Calculus: a New Causal Algebra with Multilabel Communication. Advances in Petri Nets (ed. G.Rozenberg), Springer-Verlag Lecture Notes in Computer Science Vol.609, 21\u201369 (1992)."},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/3-540-56891-3_30","volume":"694","author":"E. Best","year":"1993","unstructured":"E.Best and R.P.Hopkins: B(PN) 2 \u2014 a Basic Petri Net Programming Notation. Proc. of PARLE-93, Springer-Verlag Lecture Notes in Computer Science Vol. 694, 379\u2013390 (1993).","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"E.Best and H.G.Linde-G\u00f6ers: Compositional Process Semantics of Petri Boxes. Proc. of MFPS (Mathematical Foundations of Programming Semantics), Springer-Verlag Lecture Notes in Computer Science (1993).","DOI":"10.1007\/3-540-58027-1_12"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"G.Boudol: Notes on Algebraic Calculi of Processes. In: Logics and Models of Concurrent Systems. K.R.Apt (ed.), 261\u2013304 (1985).","DOI":"10.1007\/978-3-642-82453-1_9"},{"key":"18_CR7","volume-title":"Rapport de Recherche","author":"G. Boudol","year":"1991","unstructured":"G.Boudol and I.Castellani: Flow Models of Distributed Computations: Event Structures and Nets. Rapport de Recherche, INRIA, Sophia Antipolis (July 1991)."},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-69028-0_4","volume-title":"Selected Papers of 3rd European Workshop on Applications and Theory of Petri Nets, IF 66","author":"F. Cindio de","year":"1983","unstructured":"F.de Cindio, G.De Michelis, L.Pomello and C.Simone. Milner's Communicating Systems and Petri Nets. In: Selected Papers of 3rd European Workshop on Applications and Theory of Petri Nets, IF 66 (Springer-Verlag, Heidelberg), 40\u201359 (1983)."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"P.Degano, R.De Nicola and U.Montanari: A Distributed Operational Semantics for CCS Based on C\/E Systems. Acta Informatica 26 (1988).","DOI":"10.1007\/BF02915446"},{"key":"18_CR10","unstructured":"P.Degano, R.De Nicola and U.Montanari: Partial Order Derivations for CCS. In: Proc. FCT, Lecture Notes in Computer Science Vol.199, Springer Verlag, 520\u2013533 (1985)."},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone de","year":"1985","unstructured":"R. de Simone: Higher-level Synchronising Devices in MEIJE-SCCS. Theoretical Computer Science Vol.37, 245\u2013267 (1985).","journal-title":"Theoretical Computer Science"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek and F.V.Vaandrager: Petri Net Models for Algebraic Theories of Concurrency. Proc. PARLE'87, Lecture Notes in Computer Science Vol.259, Springer Verlag, 224\u2013242 (1987).","DOI":"10.1007\/3-540-17945-3_13"},{"key":"18_CR13","unstructured":"U.Goltz: On Representing CCS Programs by Finite Petri Nets. Arbeitspapiere der GMD Nr.290 (February 1988)."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"U.Goltz and A.Mycroft: On the Relationships of CCS and Petri Nets. In: J.Paredaens (ed.), Proc. 11th ICALP, Lecture Notes in Computer Science Vol.154, Springer Verlag, 196\u2013208 (1984).","DOI":"10.1007\/3-540-13345-3_18"},{"key":"18_CR15","unstructured":"J.Hall, R.P.Hopkins and O.Botti: A Petri Box Semantics of occam. Advances in Petri Nets (ed. G.Rozenberg), Springer-Verlag Lecture Notes in Computer Science Vol.609, 179\u2013214 (1992)."},{"key":"18_CR16","unstructured":"M.Koutny, J.Esparza and E.Best: Operational Semantics for the Petri Box Calculus. Hildesheimer Informatik-Berichte 13\/93 (October 1993)."},{"key":"18_CR17","unstructured":"W.Li and P.E. Lauer: Using the Structural Operational Approach to Express True Concurrency. Technical Report 85-01, Departmant of Computer Science and Systems, McMaster University (1985)."},{"key":"18_CR18","unstructured":"H.G.Linde-G\u00f6ers: Compositional Branching Processes of Petri Boxes. Ph.D. Thesis, Universit\u00e4t Hildesheim (October 1993)."},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"D.May: occam. SIGPLAN Notices, Vol.l8(4), 69\u201379 (April).","DOI":"10.1145\/948176.948183"},{"key":"18_CR20","unstructured":"R.Milner: Communication and Concurrency. Prentice Hall (1989)."},{"key":"18_CR21","unstructured":"M.Nielsen and P.S.Thiagarajan: Degrees of Nondeterminism and Concurrency. Proc. of 4th Conf. on Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag Lecture Notes in Computer Science Vol.181 (eds. M.Joseph and R.Shyamasundar), 89\u2013117 (1984)."},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"E.R.Olderog: Operational Petri Net Semantics for CCSP. In: G. Rozenberg (ed.), Advances in Petri Nets 1987, Springer-Verlag Lecture Notes in Computer Science, Vol. 266, 196\u2013223 (1987).","DOI":"10.1007\/3-540-18086-9_27"},{"key":"18_CR23","volume-title":"Report DAIMI FN-19","author":"G. Plotkin","year":"1981","unstructured":"G.Plotkin: A Structural Approach to Operational Semantics. Report DAIMI FN-19, \u00c5rhus University, Computer Science Department, Aarhus, Denmark (1981)."},{"key":"18_CR24","unstructured":"D.Taubner: Finite Representations of CCS and TCSP by Automata and Petri Nets. Lecture Notes in Computer Science, Vol. 369, Springer Verlag (1989)."},{"key":"18_CR25","first-page":"197","volume":"72","author":"G. Winskel","year":"1987","unstructured":"G.Winskel: Petri Nets, Algebras, Morphisms and Compositionality. Info. Control 72, 197\u2013238 (1987).","journal-title":"Info. Control"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:20Z","timestamp":1605647840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}