An algebra of actors (1999)

by Mauro Gaspari, Gianluigi Zavattaro
Venue:In Proc. 3nd IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS