Behaviour specification of parallel active objects (1998)

by T Holvoet, T Kielmann
Venue:Parallel Computing