Formal Techniques for Distributed Objects, Components, and Systems: 34th Ifip Wg 6.1 International Conference, Forte 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, Discotec 2014, Berlin, Germany...
