{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:40Z","timestamp":1725663400215},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_77","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:36:58Z","timestamp":1330195018000},"page":"203-212","source":"Crossref","is-referenced-by-count":0,"title":["Separating and testing"],"prefix":"10.1007","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0022-0000(80)90010-0","volume":"20","author":"L. Boasson","year":"1980","unstructured":"BOASSON L., NIVAT M., \"Adherences of Languages\" Journal of Computer and System Sciences 20 (1980), 285\u2013309","journal-title":"Journal of Computer and System Sciences"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"DARONDEAU Ph., \"Une critique de la notion de test de processus fond\u00e9e sur la non s\u00e9parabilit\u00e9 de certaines classes de langages\" RR 259 IRISA Rennes (1985)","DOI":"10.1051\/ita\/1986200302911"},{"key":"17_CR3","unstructured":"DARONDEAU Ph., \"About Fair Asynchrony\" \u2014 \u00e0 para\u00eetre dans T.C.S. \u2014"},{"key":"17_CR4","unstructured":"EILENBERG S., \"Automata, languages and Machines\" Vol. A, Academic Press (1974)"},{"key":"17_CR5","unstructured":"GONZALES ALVADARO C.A., \"Le M\u00e9lange et le M\u00e9lange It\u00e9ratif: les Op\u00e9rateurs Concurrents\" Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 de Paris VII (1984)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"GUESSARIAN I., \"Algebraic Semantics\" Springer-Verlag LNCS 99 (1981)","DOI":"10.1007\/3-540-10284-1"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"M. Hennessy","year":"1984","unstructured":"HENNESSY M., de NICOLA R., \"Testing Equivalences for Processes\" Theoretical Computer Science 34 (1984) 83\u2013134","journal-title":"Theoretical Computer Science"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/S0019-9958(83)80029-1","volume":"59","author":"M. Hennessy","year":"1983","unstructured":"HENNESSY M., \"Synchronous and Asynchronous Experiments on Processes\" Information and Control 59 (1983) 36\u201383","journal-title":"Information and Control"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(77)90053-6","volume":"4","author":"R. Milner","year":"1977","unstructured":"MILNER R., \"Fully Abstract Models of Typed Lambda-Calculi\" Theoretical Computer Science 4 (1977) 1\u201323","journal-title":"Theoretical Computer Science"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"MILNER R., \"A Calculus of Communicating Systems\" Springer-Verlag LNCS 92 (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"17_CR11","unstructured":"ROGERS H., \"Theory of Recursive Functions and Effective Computability\" Mc Graw-Hill (1967)"},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TSE.1978.231501","volume":"3","author":"A.C. Shaw","year":"1978","unstructured":"SHAW A.C., \"Software Descriptions with Flow Expressions\" IEEE Transactions on Software Engineering 3 (1978) 242\u2013254","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR13","unstructured":"STOY J.E., \"Denotational Semantics\" M.I.T. Press (1977)"}],"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_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:53Z","timestamp":1605643793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16078-7_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540160786","9783540397588"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-16078-7_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}