Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG

Distributed Applications and Interoperable Systems: 25th IFIP WG 6.1 Internation

Formal Methods for Distributed System Development - 9781475752649

Distributed Applications and Interoperable Systems : 7th IFIP WG 6.1 Internat...

Lee - Formal Techniques for Distributed Systems Joint 11th Ifip Wg 6. - X555z

Najm - Formal Methods for Open Object-Based Distributed Systems 6th - X555z

Formal Techniques for Distributed Objects, Components, and Sy... - 9783031353543

Giese - Formal Techniques for Distributed Systems Joint 14th IFIP WG - X555z