{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:04Z","timestamp":1762458964541},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133452"},{"type":"electronic","value":"9783540388869"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13345-3_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:01:59Z","timestamp":1330192919000},"page":"196-208","source":"Crossref","is-referenced-by-count":33,"title":["On the relationship of CCS and petri nets"],"prefix":"10.1007","author":[{"given":"Ursula","family":"Goltz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mycroft","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"18_CR1","volume-title":"Eliminating local non-determinism: a new semantics for CCS. Report 290","author":"S. Abramsky","year":"1981","unstructured":"Abramsky, S. Eliminating local non-determinism: a new semantics for CCS. Report 290, Computer systems laboratory, Queen Mary College, London, 1981."},{"key":"18_CR2","series-title":"Lecture notes in computer science","volume-title":"Linear time and branching time semantics for recursion with merge","author":"Bakker","year":"1983","unstructured":"de Bakker, et al. Linear time and branching time semantics for recursion with merge. LNCS 154: Proceedings 10th ICALP, Barcelona, 1983."},{"key":"18_CR3","series-title":"lecture notes in computer science","volume-title":"Net theory and applications","year":"1980","unstructured":"Brauer, W. (ed) Net theory and applications. LNCS 84: Proceedings of the advanced course on net theory and applications, Hamburg, 1980."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"de Cindio, et al. Superposed automata nets. IF 52: Selected papers from the 1st and 2nd european workshop on applications and theory of Petri nets, 1982.","DOI":"10.1007\/978-3-642-68353-4_44"},{"key":"18_CR5","unstructured":"de Cindio, et al. Milner's CCS and Petri nets. IF 66: Selected papers from the 3rd european workshop of applications and theory of Petri nets, 1983."},{"key":"18_CR6","series-title":"Research report","volume-title":"On the relationship of CCS and Petri nets","author":"U. Goltz","year":"1984","unstructured":"Goltz, U., Mycroft, A. On the relationship of CCS and Petri nets. Research report, Inst. f\u00f6r informationsbehandling, Chalmers TH, G\u00f6teborg, 1984."},{"key":"18_CR7","unstructured":"Goltz, U., Mycroft, A. Net behaviour representations and equivalence notions. Submitted to 4th european workshop on applications and theory of Petri nets, 1984."},{"key":"18_CR8","unstructured":"Genrich, H.J., Stankiewicz-Wiechno, E. A dictionary of some basic notions of net theory. In \/Br\/."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Milner, R. A calculus of communicating systems. LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G. Petri nets, event structures and domains. Theoretical Computer Science 13(1) 1981.","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Reisig, W. Petrinetze \u2014 eine einf\u00fchrung. Springer-Verlag, 1982. (To appear in english.)","DOI":"10.1007\/978-3-642-96705-4"},{"key":"18_CR12","volume-title":"Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness","author":"W. Reisig","year":"1984","unstructured":"Reisig, W. Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. LNCS: Proceedings 11th ICALP, Antwerp, 1984. (This volume.)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Winskel, G. Event structure semantics for CCS and related languages. DAIMI report PB-159, \u00c5rhus University. Shorter version in LNCS 140: Proceedings 9th ICALP, 1982.","DOI":"10.1007\/BFb0012800"},{"key":"18_CR14","volume-title":"A new definition of morphism on Petri nets","author":"G. Winskel","year":"1984","unstructured":"Winskel, G. A new definition of morphism on Petri nets. LNCS: Proceedings 1st symposium on theoretical aspects of computer science, Paris, 1984."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13345-3_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:12Z","timestamp":1605643632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13345-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133452","9783540388869"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-13345-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}