Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday (Paperback)
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco de Nicola on the Occasion of His 65th Birthday (Paperback, 2019)
Formal Techniques for Distributed Systems: Joint Ifip Wg 6.1 International Conference, Fmoods/Forte 2013, Held as Part of the 8th International Federa (Paperback, 2013)
