Formal Methods for Distributed Processing : A Survey of Object-Or

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

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

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

Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1: New

Bowman - Formal Methods for Distributed Processing A Survey of Object - X555z

Formal Methods for Open Object-Based Distributed, , New

Formal Methods for Protocol Engineering and Distributed Systems by Jianping Wu