Towards a Formal Specification of an Object-Oriented Architecture for Parallel Computing.

S. Bavan, Eleni Berki, Elli Georgiadou, M. Milankovic-Adkinson, M. J. Walker

Browse the full PDPTA paper archive.