Alberto Lluch Lafuente profile picture

Alberto Lluch Lafuente

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Formal Methods for Industrial Critical Systems 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Coordination Models and Languages
Formal Methods for Industrial Critical Systems
Trustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers