Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages
Darondeau, Ph.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986), p. 291-318 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1986-01-01
@article{ITA_1986__20_3_291_0,
     author = {Darondeau, Ph.},
     title = {Une critique de la notion de test de processus fond\'ee sur la non s\'eparabilit\'e de certaines classes de langages},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {20},
     year = {1986},
     pages = {291-318},
     mrnumber = {894716},
     zbl = {0617.68071},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1986__20_3_291_0}
}

Darondeau, Ph. Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) pp. 291-318. http://gdmltest.u-ga.fr/item/ITA_1986__20_3_291_0/

1. L. Boasson et M. Nivat, Adherences of Languages, Comp. Syst. Sc., vol. 20, 1980, p. 285-309. | MR 584863 | Zbl 0471.68052

2. Ph. Darondeau, About Fair Asynchrony, T.C.S., vol. 37, 1985, p. 305-336. | MR 824477 | Zbl 0607.68016

3. S. Eilenberg, Automata, Languages and Machines, vol. A, Academic Press, 1974. | MR 530382 | Zbl 0317.94045

4. I. Guessarian, Algebraic Semantics, Springer-Verlag, LNCS, 99, 1981. | MR 617908 | Zbl 0474.68010

5. M. Hennessy et R. De Nicola, Testing Equivalences for Processes, Theor. Comp. Sc., vol. 34, 1984, p. 83-134. | MR 774041 | Zbl 0985.68518

6. M. Hennessy, Synchronous and Asynchronous Experiments on Processes, Inform. Contr., vol. 59, 1983, p. 36-83. | MR 760155 | Zbl 0544.68028

7. M. Hennessy, Modelling Finite Delay Operators, University of Edinburgh, Dept of Computer Science, Internal Report CSR 153-183, 1983.

8. M. Hennessy, An Algebraic Theory of Fair Asynchronous Communicating Processes, ICALP 85, Springer-Verlag LNCS 194, ed. W. Brauer, 1985. | MR 819261 | Zbl 0566.68022

9. T. Kimura, An Algebraic System for Process Structuring and Interprocess Communication, proc. 8th Ann. ACM Symposium on Theory of Computing, 1976, p. 92-100. | MR 433948 | Zbl 0365.68066

10. R. Milner, Fully Abstract Models of Typed Lambda-Calculi, Theor. Comp. Sc., vol. 4, 1977, p. 1-23. | MR 498061 | Zbl 0386.03006

11. R. Milner, A Calculus of Communicating Systems, Springer-Verlag LNCS, 92, 1980. | MR 590046 | Zbl 0452.68027

12. H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967. | MR 224462 | Zbl 0183.01401

13. A. C. Shaw, Software Descriptions with Flow Expressions, IEEE Trans. Soft. Engineer., vol. 3, 1978, p. 242-254. | Zbl 0381.68035

14. J. E. Stoy, Denotational Semantics, M.I.T. Press, 1977. | MR 488969