A theory of may testing for actors (2002)

by P Thati, R Ziaei, G Agha
Venue:In Formal Methods for Open Object-based Distributed Systems