Formal Techniques for Distributed Objects, Components, and Systems: Proc./35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015

Formal Techniques for Distributed Objects, Components, and Systems: Proc./35th IFIP WG 6.1 International Conference, FORTE 2015 Held as Part of the International Federated Conference, DisCoTec 2015, Grenoble, France, June 2015Ed. by Graf S., Viswanathan M..-Berlin.: Springer, 2015.-Vol. 9039.-245 p.-(Lecture Notes in Computer Science).