Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, Lucca, Italy, Proceedings
23.21.1610 - Mohammad Reza Mousavi, Anna Philippou