Behavior specification of parallel active objects (1998)

by T Holvoet, T Kielmann
Venue:In Journal on Parallel Computing