{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:34:31Z","timestamp":1754487271092},"publisher-location":"Berlin, Heidelberg","reference-count":35,"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_33","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:53Z","timestamp":1330197473000},"page":"416-440","source":"Crossref","is-referenced-by-count":14,"title":["COSY: Its relation to nets and to CSP"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/BF01661169","volume":"1","author":"T. S. Anantharaman","year":"1986","unstructured":"T.S. Anantharaman, E.M. Clarke, M.J. Foster and B. Mishra: Compiling Path Expressions into VLSI Circuits. Distributed Computing 1, 150\u2013166 (1986).","journal-title":"Distributed Computing"},{"issue":"3","key":"15_CR2","first-page":"361","volume":"2","author":"K. R. Apt","year":"1980","unstructured":"K.R. Apt, N. Francez and W.P. de Roever: A Proof System for Communicating Sequential Processes. ACM TOPLAS, Vol.2, No.3, 361\u2013385 (1980).","journal-title":"ACM TOPLAS"},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(82)90020-2","volume":"18","author":"E. Best","year":"1982","unstructured":"E. Best: Adequacy Properties of Path Programs. TCS Vol.18, 149\u2013171 (1982).","journal-title":"TCS"},{"key":"15_CR4","unstructured":"E.Best: Structure Theory of Petri Nets: The Free Choice Hiatus. These Notes."},{"key":"15_CR5","unstructured":"E.Best and R.Devillers: Concurrent Behaviour: Sequences, Processes and Programming Languages. GMD-Studien No.99 (May 1985). Revised version to appear in TCS (1987). Also: E.Best: Concurrent Behaviour: Sequences, Processes and Axioms. Springer Lecture Notes in Computer Science Vol.197, 221\u2013245 (1985)."},{"key":"15_CR6","unstructured":"E.Best and C.Fern\u00e1ndez: Notations and Terminology on Petri Net Theory. Arbeitspapiere der GMD No.195 (1986). Also: Petri Net Newsletters No.23, 21\u201346 (April 1986)."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"E.Best and C.Fern\u00e1ndez: A Petri Net Theory of Processes and Systems. Manuscript (1987).","DOI":"10.1007\/978-3-642-73483-0_3"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume":"16","author":"R. H. Campbell","year":"1974","unstructured":"R.H. Campbell and A.N. Habermann: The Specification of Process Synchronisation by Path Expressions. Springer Lecture Notes in Computer Science, Vol.16, 89\u2013102 (1974).","journal-title":"Springer Lecture Notes in Computer Science"},{"issue":"5","key":"15_CR9","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1145\/359104.359108","volume":"22","author":"E. Chang","year":"1979","unstructured":"E. Chang and R. Roberts: An Improved Algorithm for Decentralised Extrema-Finding in Circular Configurations of Processes. CACM Vol.22(5), 281\u2013283 (1979).","journal-title":"CACM"},{"issue":"1\/2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. W. Bakker de","year":"1982","unstructured":"J.W. de Bakker and J. Zucker: Processes and the Denotational Semantics of Concurrency. Information and Control Vol.54 No.1\/2, 70\u2013120 (1982).","journal-title":"Information and Control"},{"key":"15_CR11","unstructured":"F.De Cindio, G.De Michelis, L.Pomello and C.Simone: A Petri Net Model for CSP. Proc. CIL'81, Barcelona (1981)."},{"key":"15_CR12","unstructured":"E.W.Dijkstra: A Discipline of Programming. Prentice Hall (1976)."},{"key":"15_CR13","unstructured":"C.Fern\u00e1ndez: Non-sequential Processes. These Notes."},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-15204-0_11","volume":"188","author":"U. Goltz","year":"1985","unstructured":"U. Goltz and W. Reisig: CSP Programs as Nets with Individual Tokens. Springer Lecture Notes in Computer Science Vol.188, 169\u2013196 (1985).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"15_CR15","unstructured":"D.Hillen: Ein nebenl\u00e4ufiger Kalk\u00fcl f\u00fcr CSP-\u00e4hnliche Sprachen. Arbeitspapiere der GMD No.222 (September 1986)."},{"issue":"8","key":"15_CR16","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare: Communicating Sequential Processes. CACM Vol.21(8), 666\u2013677 (1978).","journal-title":"CACM"},{"key":"15_CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(85)90029-5","volume":"36","author":"R. Janicki","year":"1985","unstructured":"R. Janicki: Transforming Sequential Systems into Concurrent Systems. TCS 36, 27\u201358 (1985).","journal-title":"TCS"},{"issue":"6","key":"15_CR18","first-page":"283","volume":"21","author":"R. Janicki","year":"1985","unstructured":"R. Janicki: An Equivalence Notion for Path Expression Systems. EIK 21\/6, 283\u2013295 (1985).","journal-title":"EIK"},{"key":"15_CR19","unstructured":"R.Janicki, P.E.Lauer, M.Koutny and R.Devillers: Concurrent and Maximally Concurrent Evolution of Non-sequential Systems. Aalborg Universitetscenter Technical Report R85-6 (1985), also to appear in TCS."},{"issue":"9","key":"15_CR20","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/954312.954317","volume":"16","author":"P. E. Lauer","year":"1981","unstructured":"P.E. Lauer: Synchronisation of Concurrent Processes without Globality Assumptions. ACM SIGPLAN Notices 16(9), 66\u201380 (1981).","journal-title":"ACM SIGPLAN Notices"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF00264564","volume":"5","author":"P. E. Lauer","year":"1975","unstructured":"P.E. Lauer and R.H. Campbell: Formal Semantics for a Class of High-level Primitives for Coordinating Concurrent Processes. Acta Informatica, Vol.5, 247\u2013332 (1975).","journal-title":"Acta Informatica"},{"key":"15_CR22","unstructured":"P.E. Lauer, M.W.Shields and E.Best: Formal Theory of the Basic COSY Notation. TR 143, Computing Laboratory, University of Newcastle upon Tyne (1978)."},{"key":"15_CR23","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/3-540-10007-5_46","volume":"86","author":"P. E. Lauer","year":"1980","unstructured":"P.E. Lauer, M.W. Shields and E. Best: Design and Analysis of Highly Parallel and Distributed Systems. Springer Lecture Notes in Computer Science, Vol.86, 451\u2013503 (1980).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"15_CR24","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P. E. Lauer","year":"1979","unstructured":"P.E. Lauer, P.R. Torrigiani and M.W. Shields: COSY\u2014A System Specification Language Based on Paths and Processes. Acta Informatica, Vol.12, 109\u2013158 (1979).","journal-title":"Acta Informatica"},{"key":"15_CR25","unstructured":"A.Mazurkiewicz: Trace theory. These Notes."},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"R.Milner: A Calculus of Communicating Systems. Springer Lecture Notes in Computer Science, Vol.92 (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"15_CR27","unstructured":"E.R.Olderog: TCSP: Theory of Communicating Sequential Processes. These Notes."},{"key":"15_CR28","unstructured":"W.Reisig: Place\/transition Systems. These Notes."},{"key":"15_CR29","unstructured":"M.Rem: Concurrent Computations and VLSI Circuits. In: Control Flow and Data Flow: Concepts of Distributed Programming (ed. M.Broy), Springer Verlag, 399\u2013437 (1985)."},{"key":"15_CR30","unstructured":"G.Rozenberg: Behaviour of Elementary Net Systems. These Notes."},{"key":"15_CR31","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BFb0022473","volume":"70","author":"M. W. Shields","year":"1979","unstructured":"M.W. Shields: Adequate Path Expressions. Springer Lecture Notes in Computer Science, Vol.70, 249\u2013265 (1979).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"15_CR32","unstructured":"M.W.Shields: On the Non-sequential Behaviour of Systems Possessing a Generalised Free Choice Property. Report CRS-92-81, Department of Computer Science, University of Edinburgh (1981)."},{"key":"15_CR33","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-12925-1_42","volume":"167","author":"M. W. Shields","year":"1984","unstructured":"M.W. Shields: Nonsequential Behaviour. Springer Lecture Notes in Computer Science, Vol.167, 229\u2013239 (1984).","journal-title":"Springer Lecture Notes in Computer Science"},{"issue":"5","key":"15_CR34","doi-asserted-by":"crossref","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, Vol.28, No.5, 449\u2013465 (1985).","journal-title":"The Computer Journal"},{"key":"15_CR35","doi-asserted-by":"crossref","unstructured":"Jan L.A. van de Snepscheut: Trace Theory and VLSI Design. Springer Lecture Notes in Computer Science, Vol.200 (1985).","DOI":"10.1007\/BFb0031414"}],"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_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:58:16Z","timestamp":1640915896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}