{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:05Z","timestamp":1762458965252},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179061"},{"type":"electronic","value":"9783540479260"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17906-2_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:44Z","timestamp":1330197464000},"page":"441-465","source":"Crossref","is-referenced-by-count":9,"title":["TCSP: Theory of communicating sequential processes"],"prefix":"10.1007","author":[{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"16_CR1","volume-title":"Mathematical Theory of Program Correctness","author":"J. W. Bakker de","year":"1980","unstructured":"J.W. de Bakker, Mathematical Theory of Program Correctness (Prentice Hall, London, 1980)."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra, J.W. Klop, E.-R. Olderog, Readies and failures in the algebra of communicating processes, Tech. Report CS-R8523, CWI Amsterdam, 1985.","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"16_CR3","volume-title":"Proc. IFIP Working Conference on Formal Description of Programming Concepts 1986","author":"J. A. Bergstra","year":"1987","unstructured":"J.A. Bergstra, J.W. Klop, E.-R. Olderog, Failures without chaos: a new process semantics for fair abstraction, to appear in: M. Wirsing (Ed.), Proc. IFIP Working Conference on Formal Description of Programming Concepts 1986 (North-Holland, Amsterdam, 1987)."},{"key":"16_CR4","unstructured":"E. Best, in this volume."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"S.D. Brookes, On the relationship of CCS and CSP, in: J. Diaz (Ed.), Proc. 10th ICALP, LNCS 154 (Springer-Verlag, 1983) 83\u201396.","DOI":"10.1007\/BFb0036899"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, A.W. Roscoe, A theory of communicating sequential processes, J. ACM 31 (1984) 560\u2013599.","journal-title":"J. ACM"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"S.D. Brookes, A.W. Roscoe, An improved failures model for communicating sequential processes, in: S.D. Brookes, A.W. Roscoe, G. Winskel (Eds.), Seminar on Concurrency, LNCS 197 (Springer-Verlag, 1985) 281\u2013305.","DOI":"10.1007\/3-540-15670-4_14"},{"key":"16_CR8","unstructured":"M.Broy, Process semantics of communicating concurrent programs, Bericht MIP-8602, Fak. Math. u. Inform., Univ. Passau, 1986."},{"key":"16_CR9","unstructured":"R.H. Campbell, A.N. Habermann, The specification of process synchronisation by path expressions, LNCS 16 (Springer-Verlag, 1974)."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"L. Czaja, Making nets structured and abstract, in: G. Rozenberg (Ed.), Advances in Petri Nets 1985, LNCS 222 (Springer-Verlag, 1985) 181\u2013202.","DOI":"10.1007\/BFb0016212"},{"key":"16_CR11","unstructured":"P. Degano, R. DeNicola, U. Montanari, A new operational semantics for CCS based on condition\/event systems, Nota Interna B4-42, Dept. of Comp. Science, Univ. Pisa, 1986."},{"key":"16_CR12","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. DeNicola","year":"1984","unstructured":"R. DeNicola, M. Hennessy, Testing equivalences for processes, TCS 34 (1984) 83\u2013134","journal-title":"TCS"},{"key":"16_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming Languages","author":"M. Gordon","year":"1979","unstructured":"M. Gordon, The Denotational Description of Programming Languages (Springer-Verlag, New York, 1979)."},{"key":"16_CR14","unstructured":"U. Goltz, Building structured Petri nets, Arbeitspapiere der GMD Nr. 223, Gesellschaft Math. Datenverarbeitung, Bonn, 1986."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"U. Goltz, A. Mycroft, On the relationship of CCS and Petri nets, in: J. Paredaens (Ed.), Proc. 11th ICALP, LNCS 172 (Springer-Verlag, 1984) 196\u2013208.","DOI":"10.1007\/3-540-13345-3_18"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy, Acceptance trees, J. ACM 32 (1985) 896\u2013928.","journal-title":"J. ACM"},{"key":"16_CR17","doi-asserted-by":"crossref","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, J. ACM 32 (1985) 137\u2013161.","journal-title":"J. ACM"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"M. Hennessy, G.D. Plotkin, Full abstraction for a simple programming language, in: J. Becvar (Ed.), Proc. 8th MFCS, LNCS 74 (Springer-Verlag, 1979) 108\u2013120.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"M. Hennessy, G.D. Plotkin, A term model for CCS, in P. Dembinski (Ed.), Proc. 9th MFCS, LNCS 88 (Springer-Verlag, 1980) 261\u2013274.","DOI":"10.1007\/BFb0022510"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating sequential processes, Comm. ACM (1978) 666\u2013677.","DOI":"10.1145\/359576.359585"},{"key":"16_CR21","volume-title":"Communicating Sequential Processes","author":"C. A. R. R. Hoare","year":"1985","unstructured":"C.A.R. Hoare, Communicating Sequential Processes (Prentce Hall, London, 1985)."},{"key":"16_CR22","unstructured":"C.A.R. Hoare, S.D. Brookes, A.W. Roscoe, A theory of communicating sequential processes, Tech. Monograph PRG-16, Oxford Univ., Progr. Research Group (1981)."},{"key":"16_CR23","unstructured":"R. Loogen, Ein semantisches Modell f\u00fcr nichtdeterministische, parallele Prozesse, Diplomarbeit, Inst. f. Inform., RWTH Aachen, 1985."},{"key":"16_CR24","unstructured":"A. Mazurkiewicz, in this volume."},{"key":"16_CR25","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 of typed \u03bb-calculi, TCS 4 (1977) 1\u201322.","journal-title":"TCS"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, LNCS 92 (Springer-Verlag, 1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"R. Milner, A modal characterisation of observable machine-behaviour, in: E. Astesiano, C. B\u00f6hm (Eds.), Proc. 6th CAAP, LNCS 112 (Springer-Verlag, 1981) 25\u201334.","DOI":"10.1007\/3-540-10828-9_52"},{"key":"16_CR28","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, TCS 25 (1983) 267\u2013310.","journal-title":"TCS"},{"key":"16_CR29","unstructured":"M. Nielson, in this volume."},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog, Process theory: semantics, specification and verification, in: J.W. de Bakker, W.P. de Roever, G. Rozenberg (Eds.), Current Trends in Concurrency, LNCS 224 (Springer-Verlag, 1986) 442\u2013509.","DOI":"10.1007\/BFb0027046"},{"key":"16_CR31","first-page":"73","volume":"28","author":"E.-R. Olderog","year":"1986","unstructured":"E.-R. Olderog, Concurrent processes: the search for structure and abstraction, part I and II, invited tutorial, Bull. EATCS 28 (1986) 73\u201397 and 29 (1986) 96\u2013117.","journal-title":"Bull. EATCS"},{"key":"16_CR32","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"E.-R. Olderog, C.A.R. Hoare, Specification-oriented semantics for communicating processes, Acta Inform. 23 (1986) 9\u201366.","journal-title":"Acta Inform."},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"D. Park, Concurrency and automata on infinite sequences, in: P. Deussen (Ed.), Proc. 5th GI Conf. on Theoret. Comp. Science, LNCS 104 (Springer-Verlag, 1981).","DOI":"10.1007\/BFb0017309"},{"key":"16_CR34","unstructured":"G.D. Ploktin, Structural approach to operational semantics, Tech. Report DAIMI FN-19, Comp. Science Dept., Aarhus Univ., 1981."},{"key":"16_CR35","first-page":"199","volume-title":"Formal Description of Programming Concepts II","author":"G. D. Plotkin","year":"1982","unstructured":"G.D. Plotkin, An operational semantics for CSP, in: D. Bj\u00f6rner (Ed.), Formal Description of Programming Concepts II (North-Holland, Amsterdam, 1982) 199\u2013225."},{"key":"16_CR36","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. D. Plotkin","year":"1977","unstructured":"G.D. Plotkin, LCF considered as a programming language, TCS 5 (1977) 223\u2013255.","journal-title":"TCS"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"L. Pomello, Some equivalence notions for concurrent systems. An overview, in: G. Rozenberg (Ed.), Advances in Petri Nets 1985, LNCS 222 (Springer-Verlag, 1985) 381\u2013400.","DOI":"10.1007\/BFb0016222"},{"key":"16_CR38","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1147\/rd.32.0114","volume":"3","author":"M. O. Rabin","year":"1959","unstructured":"M.O. Rabin, D.S. Scott, Finite automata and their decision problems, IBM J. Res. 3:2, 1959.","journal-title":"IBM J. Res."},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"W. Reisig, Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness, in: J. Paredaens (Ed.), Proc. 11th ICALP, LNCS 172 (Springer-Verlag, 1984) 403\u2013413.","DOI":"10.1007\/3-540-13345-3_37"},{"key":"16_CR40","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"J.E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (MIT Press, Cambridge, Mass., 1977)."},{"key":"16_CR41","unstructured":"D.A. Taubner, Two net oriented semantics for TCSP, Bericht Nr.116\/85, Fachbereich Inform., Univ. Hamburg, 1985."},{"key":"16_CR42","unstructured":"G. Winskel, in this volume."}],"container-title":["Lecture Notes in Computer Science","Petri Nets: Applications and Relationships to Other Models of Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17906-2_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:58:05Z","timestamp":1640915885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}