{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T09:00:33Z","timestamp":1649062833729},"reference-count":14,"publisher":"EDP Sciences","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1986]]},"DOI":"10.1051\/ita\/1986200302911","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:03:38Z","timestamp":1486047818000},"page":"291-318","source":"Crossref","is-referenced-by-count":4,"title":["Une critique de la notion de test de processus fond\u00e9e sur la non s\u00e9parabilit\u00e9 de certaines classes de langages"],"prefix":"10.1051","volume":"20","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. BOASSON L. et NIVAT M., Adherences of Languages, Comp. Syst. Sc., vol. 20, 1980, p. 285-309.5848630471.68052","DOI":"10.1016\/0022-0000(80)90010-0"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"2. DARONDEAU Ph., About Fair Asynchrony, T.C.S., vol. 37, 1985, p. 305-336.8244770607.68016","DOI":"10.1016\/0304-3975(85)90095-7"},{"key":"R3","unstructured":"3. EILENBERG S., Automata, Languages and Machines, vol. A, Academic Press, 1974.5303820317.94045"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. GUESSARIAN I., Algebraic Semantics, Springer-Verlag, LNCS, 99, 1981.6179080474.68010","DOI":"10.1007\/3-540-10284-1"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. HENNESSY M. et DE NICOLA R., Testing Equivalences for Processes, Theor. Comp. Sc., vol. 34, 1984, p. 83-134.7740410985.68518","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. HENNESSY M., Synchronous and Asynchronous Experiments on Processes, Inform. Contr., vol. 59, 1983, p. 36-83.7601550544.68028","DOI":"10.1016\/S0019-9958(83)80029-1"},{"key":"R7","unstructured":"7. HENNESSY M., Modelling Finite Delay Operators, University of Edinburgh, Dept of Computer Science, Internal Report CSR 153-183, 1983."},{"key":"R8","unstructured":"8. HENNESSY M., An Algebraic Theory of Fair Asynchronous Communicating Processes, ICALP 85, Springer-Verlag LNCS 194, ed. W. Brauer, 1985.8192610566.68022"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"9. KIMURA T., An Algebraic System for Process Structuring and Interprocess Communication, proc. 8th Ann. ACM Symposium on Theory of Computing, 1976, p. 92-100.4339480365.68066","DOI":"10.1145\/800113.803636"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. MILNER R., Fully Abstract Models of Typed Lambda-Calculi, Theor. Comp. Sc., vol. 4, 1977, p. 1-23.4980610386.03006","DOI":"10.1016\/0304-3975(77)90053-6"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. MILNER R., A Calculus of Communicating Systems, Springer-Verlag LNCS, 92, 1980.5900460452.68027","DOI":"10.1007\/3-540-10235-3"},{"key":"R12","unstructured":"12. ROGERS H., Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967.2244620183.01401"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"13. SHAW A. C., Software Descriptions with Flow Expressions, IEEE Trans. Soft. Engineer., vol. 3, 1978, p. 242-254.0381.68035","DOI":"10.1109\/TSE.1978.231501"},{"key":"R14","unstructured":"14. STOY J. E., Denotational Semantics, M.I.T. Press, 1977.488969"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1986200302911\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T05:57:58Z","timestamp":1568786278000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1986200302911"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"references-count":14,"journal-issue":{"issue":"3"},"alternative-id":["ita1986200302911"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1986200302911","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986]]}}}