Typing concurrent objects and actors. L'Objet { Methodes formelles pour les objets, Volume 6(1/2000):pages 83-106 (2000)

by F Dagnat, M Pantel, M Colin, P Salle
Venue:In Proc. of the ACM Symposium on Applied Computing