Towards a Formal Specification of an Object-Oriented Architecture for Parallel Computing. - S. Bavan; Eleni Berki; Elli Georgiadou; M. Milankovic-Adkinson; M. J. Walker (PDPTA, 1997)

Semantics for the Specification of Asynchronous Communicating Systems (SACS). - A. V. S. Rajan; S. Bavan; Geetha Abeysinghe (SCSS (1), 2007)