{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:47Z","timestamp":1760202647687},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540114949"},{"type":"electronic","value":"9783540391845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11494-7_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:45:06Z","timestamp":1330191906000},"page":"47-62","source":"Crossref","is-referenced-by-count":12,"title":["An enlarged definition and complete axiomatization of observational congruence of finite processes"],"prefix":"10.1007","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Milner R. (1978). Synthesis of Communicating Behaviour. Proc. 7th MFCS Conference. Zakopane Poland. Springer-Verlag LNCS Vol. 64,pp. 61\u201383.","DOI":"10.1007\/3-540-08921-7_57"},{"key":"5_CR2","unstructured":"Hennessy M. & Milner R. (1980). On observing nondeterminism and concurrency. ICALP'80. Noordwijkerhout. Springer-Verlag LNCS Vol. 74."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Hennessy M. & Plotkin G. (1980). A term model for CCS. Proc. 9th MFCS Conference. Rydzyna Poland. Springer-Verlag LNCS Vol. 88, pp. 261\u2013274.","DOI":"10.1007\/BFb0022510"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Milner R. (1980). A calculus of Communicating Systems. Springer-Verlag LNCS Vol. 92, (170 pp.)","DOI":"10.1007\/3-540-10235-3"},{"key":"5_CR5","unstructured":"Milner R. (1980). On relating synchrony and asynchrony. University of Edinburgh Report CSR 75\u201380, (December 1980)."},{"key":"5_CR6","unstructured":"Hoare C.A.R., Brookes S.D., Roscoe A.W. (1981). A theory of Communicating Sequential Processes. Programming Research Group \u2014 Oxford OX2 CPE."}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11494-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:43:12Z","timestamp":1619556192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11494-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540114949","9783540391845"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-11494-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}