{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:12:13Z","timestamp":1725459133625},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540123172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0036905","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T17:38:14Z","timestamp":1138210694000},"page":"147-159","source":"Crossref","is-referenced-by-count":6,"title":["On the observational semantics of fair parallelism"],"prefix":"10.1007","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Kott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Austry,D. and Boudol.G. Alg\u00e8bre de processus et synchronisation. (private communication)."},{"key":"13_CR2","unstructured":"Castellani,I., Franceschi,P. and Montanari,U. Labelled event structures: a model for observable concurrency. IFIP TC-2 Working Conference, Garmisch-Partenkirchen, 1982."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Darondeau,Ph. Processus non s\u00e9quentiels et leurs observations en univers non centralis\u00e9. in LNCS 83, 1980.","DOI":"10.1007\/3-540-09981-6_7"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Darondeau,Ph. An enlarged definition and complete axiomatization of observational congruence of finite processes. in LNCS 137, 1982.","DOI":"10.1007\/3-540-11494-7_5"},{"key":"13_CR5","unstructured":"Eilenberg,S. Automata, Languages and Machines, Vol. 1. Academic Press ed."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Hennessy,M. and Milner,R. On observing non determinism and concurrency. in LNCS 85, 1980.","DOI":"10.1007\/3-540-10003-2_79"},{"key":"13_CR7","unstructured":"Hennessy,P. and Plotkin,G. A term model for CCS. in LNCS 88, 1980."},{"key":"13_CR8","unstructured":"Hoare,C.A.R., Brookes,S.D., and Roscoe,A.D. A theory of communicating sequential processes. Technical Monograph PRG-16, Computing Laboratory, University of Oxford, 1981."},{"key":"13_CR9","unstructured":"Kuiper,R. and de Roever.W.P. Fairness assumptions for CSP in a temporal logic framework. IFIP TC-2 Working Conference, Garmisch-Partenkirchen, 1982."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Milner,R. A calculus of communicating systems. LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"13_CR11","volume-title":"CSR-104-82","author":"R. Milner","year":"1982","unstructured":"Milner, R. Calculi for synchrony and asynchrony. CSR-104-82, Computer Science Department, Edinburgh, 1982."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Park, D. On the semantics of fair parallelism. in LNCS 86, 1980.","DOI":"10.1007\/3-540-10007-5_47"},{"key":"13_CR13","unstructured":"Plotkin,G. A structural approach to operational semantics. Daimi FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"13_CR14","unstructured":"Winskel,G. Events in computation. PhD Thesis, CST-10-80, Edinburgh, 1980."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0036905.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:21:29Z","timestamp":1607552489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0036905"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540123172"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0036905","relation":{},"subject":[]}}