{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:50Z","timestamp":1725663410563},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_32","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:18:05Z","timestamp":1330197485000},"page":"393-415","source":"Crossref","is-referenced-by-count":9,"title":["CCS \u2014 and its relationship to net theory"],"prefix":"10.1007","author":[{"given":"Mogens","family":"Nielsen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"14_CR1","unstructured":"S. Abramsky: Eliminating Local Non-Determinism, a New Semantics for CCS, Computer Systems Laboratory, Queen Mary College, Report No. 290, 1981."},{"key":"14_CR2","unstructured":"P. Degano, R. De Nicola, U. Montanari: Observational Equivalences for Concurrency Models, 3rd Working Conference on the Formal Description of Programming Concepts, (to be published by North-Holland), 1986."},{"key":"14_CR3","unstructured":"A. Mazurkiewics: Trace Theory, this volume."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"R. Milner: A Calculus of Communicating Systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"14_CR5","first-page":"197","volume":"197","author":"R. Milner","year":"1984","unstructured":"R. Milner: Lectures on a Calculus of Communicating Systems, in Seminar on Concurrency, Springer LNCS 197, 197\u2013221, 1984.","journal-title":"Springer LNCS"},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola, M. Hennessy: Testing Equivalences for Processes, Theoretical Computer Science, 34, 83\u2013134, 1984.","journal-title":"Theoretical Computer Science"},{"key":"14_CR7","first-page":"89","volume":"181","author":"M. Nielsen","year":"1984","unstructured":"M. Nielsen, P.S. Thiagarajan: Degrees of Non-Determinism and Concurrency: A Petri Net View, Springer LNCS 181, 89\u2013118, 1984.","journal-title":"Springer LNCS"},{"key":"14_CR8","unstructured":"E.R. Olderog: TCSP, Theory of Communicating Sequential Processes, in this volume."},{"key":"14_CR9","unstructured":"G.D. Plotkin: Structural Approach to Operational Semantics, Computer Science Department, Aarhus University, Report No. FN-19, 1981."},{"key":"14_CR10","unstructured":"G. Rozenberg: Behaviour of Elementary Net Systems, in this volume."},{"key":"14_CR11","unstructured":"C. Stirling: Modal Logics for Communicating Systems, Dept. of Computer Science, University of Edinburgh, Report No. CSR-193-85, 1985."},{"key":"14_CR12","unstructured":"P.S. Thiagarajan: Elementary Net Systems, in this volume."},{"key":"14_CR13","unstructured":"G. Winskel: Event Structures, 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_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:23Z","timestamp":1605644003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17906-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179061","9783540479260"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-17906-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}