Behaviour Specification of Parallel Active Objects (1998)

by T Holvoet, T Kielmann
Venue:Parallel Computing