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

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

Formal Methods for Open Object-Based Distributed Systems, Elie Najm et Jean-Bern

Distributed Systems, Sape Mullender

Formal Methods for Embedded Distributed Systems: How To Master The Complexity, M

Distributed Systems: Concepts and Design, Jean Dollimore, Tim Kindberg et Geor

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

Protocol Test Systems, VI (IFIP Transactions C: Communication Systems), Unknown