{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:41Z","timestamp":1725663401594},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160786"},{"type":"electronic","value":"9783540397588"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16078-7_82","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:37:05Z","timestamp":1330195025000},"page":"262-276","source":"Crossref","is-referenced-by-count":2,"title":["Towards specification and proof of asynchronous systems"],"prefix":"10.1007","author":[{"given":"B.","family":"Gamatie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"AUSTRY D., BOUDOL G. \u2014 Alg\u00e8bre de processus et synchronisation TCS 30,1 (pp. 91\u2013131)-1984-","journal-title":"TCS"},{"key":"22_CR2","unstructured":"ARNOLD A., NIVAT M. \u2014 Comportement de processus Colloque AFCET: les mathematiques de l'informatique-1982-"},{"key":"22_CR3","unstructured":"BROOKES S. D. \u2014 A model for communicating sequential processe Phd thesis Oxford University-1983-"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"DARONDEAU Ph. \u2014 An enlarged definition and complete axiomatization of observational congruence of finite processes LNCS 137-1982-","DOI":"10.1007\/3-540-11494-7_5"},{"key":"22_CR5","unstructured":"DARONDEAU Ph., KOTT L. \u2014 On the observational semantics of fair asynchro Proc ICALP 83, LNCS 154-1983-"},{"key":"22_CR6","unstructured":"GAMATIE B.-Syst\u00e8mes de processus communicants et interpr\u00e9tation parall\u00e8le de languages fonctionnels IR no 320 INRIA-1984-"},{"key":"22_CR7","unstructured":"GAMATIE B.-Observational congruence of nondeterministic and communicating finite processes in asynchronous systems IR. no 254 IRISA-1985-"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"GAMATIE B. \u2014 Towards specicication and proof of asynchronous systems IR. IRISA-1985-","DOI":"10.1007\/3-540-16078-7_82"},{"key":"22_CR9","unstructured":"KAHN G., MC QUEEN D.B. \u2014 Coroutines and networks of parallel processes Gilchrist B. (Ed.) Information processing Amsterdam-1977-"},{"key":"22_CR10","unstructured":"KLEENE S.C. \u2014Introduction to metamathematics (Ed.) De Bruijn N.G., De Groot J., Zaanen A.C.-1971-"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"HOARE C.A.R. \u2014Communicating sequential processes CACM 21, vol 8-1978-","DOI":"10.1145\/359576.359585"},{"key":"22_CR12","unstructured":"HOARE C.A.R., BROOKES S.D., ROSCOE A.W. \u2014 A theory of communicating processes PRG-16 Oxford University-1981-"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"HENNESSY M., MILNER R. \u2014 Algebraic laws for nondeterminism and concurrency JACM 32, 1-1985-","DOI":"10.1145\/2455.2460"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"HENNESSY M., DE NICOLA R. \u2014 Testing equivalence for processes Proc ICALP 83, LNCS 154-1983-","DOI":"10.1007\/BFb0036936"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"MILNER R. \u2014 A calculus of communicating systems LNCS 92-1980-","DOI":"10.1007\/3-540-10235-3"},{"key":"22_CR16","unstructured":"PLOTKIN G. \u2014 A structural approach to operational semantics DAIMI FN-19 Comp. Sc. Dept. Aarhus University-1981-"}],"container-title":["Lecture Notes in Computer Science","STACS 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16078-7_82.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:54Z","timestamp":1605643794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16078-7_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540160786","9783540397588"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-16078-7_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}