{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:19Z","timestamp":1725455419241},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540167838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016260","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:39:17Z","timestamp":1131842357000},"page":"360-369","source":"Crossref","is-referenced-by-count":0,"title":["Safe implementation equivalence for asynchronous nondeterministic processes"],"prefix":"10.1007","author":[{"given":"B.","family":"Gamatie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"AUSTRY D., BOUDOL G. \u2014 Alg\u00e8bre de processus et synchronisation TCS 30,1 \u20141984 \u2014","key":"31_CR1","DOI":"10.1016\/0304-3975(84)90067-7"},{"unstructured":"ARNOLD A., NIVAT M. \u2014 Comportement de processus Colloque AFCET: les mathematiques de l'informatique \u2014 1982 \u2014","key":"31_CR2"},{"unstructured":"BERGSTRA J.A, KLOP J.W. \u2014Algebra of communicating processes Report CS-R8421 Centrum voor Wiskunde en informatica \u20141984\u2014","key":"31_CR3"},{"unstructured":"BROOKES S. D. \u2014 A model for communicating sequential processes Phd thesis Oxford' University \u20141983 \u2014","key":"31_CR4"},{"doi-asserted-by":"crossref","unstructured":"DARONDEAU Ph. \u2014 An enlarged definition and complete axiomatization of observational congruence of finite processes LNCS 137 \u20141982\u2014","key":"31_CR5","DOI":"10.1007\/3-540-11494-7_5"},{"unstructured":"DARONDEAU Ph., KOTT L. \u2014 On the observational semantics of fair asynchrony Proc ICALP 83, LNCS 154 \u20141983 \u2014","key":"31_CR6"},{"unstructured":"GAMATIE B. \u2014Syst\u00e8mes de processus communicants et interpr\u00e9tation parall\u00e8le de languages fonctionnels IR no 320 INRIA \u20141984\u2014","key":"31_CR7"},{"doi-asserted-by":"crossref","unstructured":"GAMATIE B. \u2014 Towards specification and proof af asynchronous systems IR no 466 INRIA \u20141985\u2014 & STACS 86: LNCS 210","key":"31_CR8","DOI":"10.1007\/3-540-16078-7_82"},{"unstructured":"GAMATIE B. \u2014 Safe implementation equivalence for asynchronous nondeterministic processes. IR. IRISA \u20141986\u2014","key":"31_CR9"},{"doi-asserted-by":"crossref","unstructured":"HOARE C.A.R. \u2014Communicating sequential processes CACM 21, vol 8\u20141978\u2014","key":"31_CR10","DOI":"10.1145\/359576.359585"},{"unstructured":"HOARE C.A.R., BROOKES S.D., ROSCOE A.W. \u2014 A theory of communicating processes \u2014 PRG-16 Oxford University \u20141981\u2014","key":"31_CR11"},{"doi-asserted-by":"crossref","unstructured":"HENNESSY M., MILNER R. \u2014 Algebraic laws for nondeterminism and concurrency \u2014 JACM 32,1 \u20141985\u2014","key":"31_CR12","DOI":"10.1145\/2455.2460"},{"doi-asserted-by":"crossref","unstructured":"HENNESSY M., DE NICOLA R. \u2014 Testing equivalence for processes Proc ICALP 83, LNCS 154 \u20141983\u2014","key":"31_CR13","DOI":"10.1007\/BFb0036936"},{"doi-asserted-by":"crossref","unstructured":"MILNER R. \u2014 A calculus of communicating systems LNCS 92 \u20141980\u2014","key":"31_CR14","DOI":"10.1007\/3-540-10235-3"},{"unstructured":"PLOTKIN G. \u2014 A structural approach to operational semantics DAIMI FN \u201419 Comp. Sc. Dept. Aarhus University \u20141981\u2014","key":"31_CR15"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016260.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T06:54:34Z","timestamp":1683269674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540167838"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0016260","relation":{},"subject":[]}}