Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Close window