Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 Intern

Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 Intern

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 Inter

Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International

Software Services for e-Business and e-Society: 9th IFIP WG 6.1 Conference on e-

Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International

Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth

Distributed Applications and Interoperable Systems: 8th IFIP WG 6.1 Internationa