@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}, pages = {291--318}, publisher = {AFCET - Gauthier-Villars}, address = {Paris}, volume = {20}, number = {3}, year = {1986}, mrnumber = {894716}, zbl = {0617.68071}, language = {fr}, url = {http://www.numdam.org/item/ITA_1986__20_3_291_0/} }
TY - JOUR AU - Darondeau, Ph. TI - Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1986 SP - 291 EP - 318 VL - 20 IS - 3 PB - AFCET - Gauthier-Villars PP - Paris UR - http://www.numdam.org/item/ITA_1986__20_3_291_0/ LA - fr ID - ITA_1986__20_3_291_0 ER -
%0 Journal Article %A Darondeau, Ph. %T Une critique de la notion de test de processus fondée sur la non séparabilité de certaines classes de langages %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1986 %P 291-318 %V 20 %N 3 %I AFCET - Gauthier-Villars %C Paris %U http://www.numdam.org/item/ITA_1986__20_3_291_0/ %G fr %F 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) no. 3, pp. 291-318. http://www.numdam.org/item/ITA_1986__20_3_291_0/
1. Adherences of Languages, Comp. Syst. Sc., vol. 20, 1980, p. 285-309. | MR | Zbl
et ,2. About Fair Asynchrony, T.C.S., vol. 37, 1985, p. 305-336. | MR | Zbl
,3. Automata, Languages and Machines, vol. A, Academic Press, 1974. | MR | Zbl
,4. Algebraic Semantics, Springer-Verlag, LNCS, 99, 1981. | MR | Zbl
,5. Testing Equivalences for Processes, Theor. Comp. Sc., vol. 34, 1984, p. 83-134. | MR | Zbl
et ,6. Synchronous and Asynchronous Experiments on Processes, Inform. Contr., vol. 59, 1983, p. 36-83. | MR | Zbl
,7. Modelling Finite Delay Operators, University of Edinburgh, Dept of Computer Science, Internal Report CSR 153-183, 1983.
,8. An Algebraic Theory of Fair Asynchronous Communicating Processes, ICALP 85, Springer-Verlag LNCS 194, ed. W. Brauer, 1985. | MR | Zbl
,9. An Algebraic System for Process Structuring and Interprocess Communication, proc. 8th Ann. ACM Symposium on Theory of Computing, 1976, p. 92-100. | MR | Zbl
,10. Fully Abstract Models of Typed Lambda-Calculi, Theor. Comp. Sc., vol. 4, 1977, p. 1-23. | MR | Zbl
,11. A Calculus of Communicating Systems, Springer-Verlag LNCS, 92, 1980. | MR | Zbl
,12. Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967. | MR | Zbl
,13. Software Descriptions with Flow Expressions, IEEE Trans. Soft. Engineer., vol. 3, 1978, p. 242-254. | Zbl
,14. Denotational Semantics, M.I.T. Press, 1977. | MR
,