Distributed Applications and Interoperable Systems: 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International ... (Lecture Notes in Computer Science, 15730)

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... (Lecture Notes in Computer Science, 7892)

Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th ... (Lecture Notes in Computer Science, 15732)

Springer International Publishing AG Formal Techniques For Distributed Objects, Components, And Systems : 42nd Ifip Wg 6.1 International Conference, Forte 2022, Held As Part Of The 17th International Federated Conference On Distributed C

Springer International Publishing AG The Practice Of Enterprise Modeling : 15th Ifip Wg 8.1 Working Conference, Poem 2022, London, Uk, November 23–25, 2022, Proceedings

Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings: 15759 (Lecture Notes in Computer Science, 15759)

Artificial Intelligence Applications and Innovations: 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26–29, 2025, ... and Communication Technology, 758)