1
Active Object Languages: Current Research Trends [E-Book] /
2
Coordination Models and Languages [E-Book] : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings /
3
Types for Proofs and Programs [E-Book] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /