Nondeterminism and fully abstract models
Astesiano, Egidio ; Costa, Gerardo
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980), p. 323-347 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1980-01-01
@article{ITA_1980__14_4_323_0,
     author = {Astesiano, Egidio and Costa, Gerardo},
     title = {Nondeterminism and fully abstract models},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {14},
     year = {1980},
     pages = {323-347},
     mrnumber = {607435},
     zbl = {0463.03024},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1980__14_4_323_0}
}

Astesiano, Egidio; Costa, Gerardo. Nondeterminism and fully abstract models. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980) pp. 323-347. http://gdmltest.u-ga.fr/item/ITA_1980__14_4_323_0/

1. E. Astesiano and G. Costa, Sharing in Nondeterminism, Proc. of the 6th I.C.A.L.P., Graz, 1979, Lecture Notes in Comput. Sc, Springer, Berlin, Vol. 71, 1979, pp.1-15. | MR 573231 | Zbl 0416.68033

2. G. Berry, Stable Models of Typed λ-calculi, Proc. of the 5th I.C.A.L.P., Udine, 1978, Lecture Notes in Comput. Sc, Springer, Berlin, Vol. 62, 1978, pp. 72-89. | MR 520840 | Zbl 0382.68041

3. M. Hennessy and E. A. Ashcroft, The Semantics of Nondeterminism, Proc. of the 3rd I.C.A.L.P., Edinburg, 1976, Edinburg University Press, 1976, pp. 478-493. | Zbl 0379.02015

4. R. Milner, Processes, a Mathematical Model for Computing Agents, Logic Colloquium '73, Studies in Logic and the Foundat. of Math., North Holland-American Elsevier, Vol. 80, 1975, pp, 157-174. | MR 416095 | Zbl 0316.68017

5. R. Milner, Fully Abstract Models of Typed λ-Calculi, Theoret. Comput. Sc., Vol. 4, 1977, pp. 1-22. | MR 498061 | Zbl 0386.03006

6. G. Plotkin, Lambda Definability and Logical Relations, Memo SAI-RM-4, School of Artif. Intell., Edinburg, 1973.

7. G. Plotkin, A Powerdomain Construction, S.I.A.M. J. Comput., Vol. 5, 1976, pp. 453-487. | MR 445891 | Zbl 0355.68015

8. G. Plotkin, LCF as a Programming Language, Theoret. Comput. Sc., Vol. 1977, pp. 223-255. | MR 484798 | Zbl 0369.68006

9. G. Plotkin, Personal communication, 1978.

10. M. B. Smyth, Power Domains, J. Comput. System Sc., Vol. 16, 1978, pp. 23-36. | MR 468292 | Zbl 0391.68011