{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T18:35:08Z","timestamp":1725647708576},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642824555"},{"type":"electronic","value":"9783642824531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/978-3-642-82453-1_12","type":"book-chapter","created":{"date-parts":[[2011,12,30]],"date-time":"2011-12-30T04:26:38Z","timestamp":1325219198000},"page":"343-368","source":"Crossref","is-referenced-by-count":0,"title":["About Fair Asynchrony"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"8th Ann. ACM Symp on POPL","author":"M Ben-Ari","year":"1981","unstructured":"Ben-Ari M., Manna Z., Pnueli A. \u201cThe Temporal Logic of Branching Time\u201d 8th Ann. ACM Symp. on POPL (1981)"},{"doi-asserted-by":"crossref","unstructured":"Brookes S.D., Hoare C.A.R., Roscoe A.W. \u201cA theory of Communicating Sequential Processes\u201d JACM. Vol 31 n\u00b0 3, July 84, pp. 560\u2013599","key":"12_CR2","DOI":"10.1145\/828.833"},{"unstructured":"Costa G., Stirling C. \u201cA fair Calculus of Communicating Systems\u201d Proc. FCT 83, Springer-Verlag LNCS Vol. 158","key":"12_CR3"},{"unstructured":"Darondeau Ph., Kott L. \u201cOn the Observational Semantics of Fair Parallelism\u201d Proc. ICALP 83, Springer-Verlag LNCS Vol. 154","key":"12_CR4"},{"unstructured":"Full Version of the above -INRIA Report 262 (1983)","key":"12_CR5"},{"key":"12_CR6","volume-title":"\u201cA Formal Proof System for Infinitary Rational Expressions\u201d INRIA Report 218","author":"Ph Darondeau","year":"1983","unstructured":"Darondeau Ph., Kott L. \u201cA Formal Proof System for Infinitary Rational Expressions\u201d INRIA Report 218 (1983)"},{"doi-asserted-by":"crossref","unstructured":"Darondeau Ph. \u201cInfinitary Languages and Fully Abstract Models of Fair Asynchrony\u201d INRIA Report 330 (1984)","key":"12_CR7","DOI":"10.1007\/3-540-15670-4_21"},{"key":"12_CR8","volume-title":"\u201cAutomata, Languages and Machines\u201d, Vol. A","author":"S Eilenberg","year":"1974","unstructured":"Eilenberg S. \u201cAutomata, Languages and Machines\u201d, Vol. A. Academic Press, New York (1974)"},{"key":"12_CR9","volume-title":"Proc. 7th Ann. ACM Symp on POPL","author":"D Gabbay","year":"1980","unstructured":"Gabbay D., Pnueli A., Shelah S., Stavi J. \u201cOn the Temporal Analysis of Fairness\u201d Proc. 7th Ann. ACM Symp. on POPL (1980)"},{"key":"12_CR10","volume-title":"Internal Report CSR -125-82, University of Edinburgh","author":"M Hennessy","year":"1982","unstructured":"Hennessy M. \u201cSynchronous and Asynchronous Experiments on Processes\u201d Internal Report CSR -125\u201382, University of Edinburgh (1982)"},{"doi-asserted-by":"crossref","unstructured":"Jorrand Ph. \u201cSpecification of Communicating Processes and Process Implementation Correctness\u201d Proc. 5th Int. Symp. on Programming Springer-Verlag LNCS Vol 137 (1982)","key":"12_CR11","DOI":"10.1007\/3-540-11494-7_17"},{"doi-asserted-by":"crossref","unstructured":"Milner R. \u201cFully Abstract Models of Typed A-Calculi\u201d TCS Vol 4 n\u00b01, 1977, pp. 1\u201323","key":"12_CR12","DOI":"10.1016\/0304-3975(77)90053-6"},{"doi-asserted-by":"crossref","unstructured":"Milner R. \u201cA Calculus of Communicating Systems\u201d Springer-Verlag LNCS Vol. 92 (1980)","key":"12_CR13","DOI":"10.1007\/3-540-10235-3"},{"doi-asserted-by":"crossref","unstructured":"Milner R. \u201cCalculi for Synchrony and Asynchrony\u201d TCS Vol. 25 n\u00b03, 1983, pp. 267\u2013310","key":"12_CR14","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"12_CR15","volume-title":"Internal Report CSR 116-82 University of Edinburgh","author":"R Milner","year":"1982","unstructured":"Milner R. \u201cA finite Delay Operator for Synchronous CCS\u201d Internal Report CSR 116\u201382 University of Edinburgh (1982)"},{"key":"12_CR16","first-page":"86","volume-title":"Abstract Software Specifications Springer-Verlag LNCS","author":"D Park","year":"1980","unstructured":"Park D. \u201cOn the Semantics of Fair Parallelism\u201d in Abstract Software Specifications Springer-Verlag LNCS Vol. 86 (1980)"},{"key":"12_CR17","volume-title":"DAIMI FN-19, Computer Science Dept. Aarhus University","author":"G Plotkin","year":"1981","unstructured":"Plotkin G. \u201cA Structural Approach to Operational Semantics\u201d DAIMI FN-19, Computer Science Dept. Aarhus University (1981)"}],"container-title":["Logics and Models of Concurrent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-82453-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T18:37:58Z","timestamp":1606415878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-82453-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783642824555","9783642824531"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-82453-1_12","relation":{},"subject":[],"published":{"date-parts":[[1985]]}}}