Pengarang: Alberto Lluch Lafuente

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013 …

This book constitutes the proceedings of the 18th International Conference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th …

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was pl …