The 14 full papers and 3 short papers presented in this volume were carefully reviewed and select...
This book constitutes the proceedings of the 19th International Conference on Coordination Models...
ASYDE 2020: Second International Workshop on Automated and Verifiable Software System Development...
This book constitutes the thoroughly refereed post-conference proceedings of the 9th Internationa...
This book constitutes the proceedings of the 19th International Conference on Coordination Models...
This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internati...
This volume constitutes the revised selected papers from the three workshops collocated...
This book constitutes the thoroughly refereed post-conference proceedings of the 9th Internationa...