Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on ... February 15-18, 1999, Florence, Italy

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1...

Distributed Applications and Interoperable Systems II: IFIP TC6 WG6.1 Second International Working...

New Developments in Distributed Applications and Interoperable Systems: IFIP TC6 / WG6.1...

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6...