Formal Techniques for Distributed Objects, Components, and Systems: Proc./36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016

Formal Techniques for Distributed Objects, Components, and Systems: Proc./36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016Ed. by Albert E., Lanese I..-Berlin.: Springer, 2016.-Vol. 9688.-275 p.-(Lecture Notes in Computer Science).