Playing with Our CAT and Communication-Centric Applications

Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto. Playing with Our CAT and Communication-Centric Applications. In Elvira Albert, Ivan Lanese, editors, Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Volume 9688 of Lecture Notes in Computer Science, pages 62-73, Springer, 2016. [doi]

Authors

Davide Basile

This author has not been identified. Look up 'Davide Basile' in Google

Pierpaolo Degano

This author has not been identified. Look up 'Pierpaolo Degano' in Google

Gian Luigi Ferrari

This author has not been identified. Look up 'Gian Luigi Ferrari' in Google

Emilio Tuosto

This author has not been identified. Look up 'Emilio Tuosto' in Google