Items where Author is "Lafuente, Alberto Lluch"

2017

Lanese, Ivan and Lafuente, Alberto Lluch and Knight, Sophia and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2015. Journal of Logical and Algebraic Methods in Programming, 86 (1). p. 1. ISSN 2352-2208 (2017)

2016

Lanese, Ivan and Lafuente, Alberto Lluch and Sokolova, Ana and Torres Vieira, Hugo Preface for the special issue on Interaction and Concurrency Experience 2014. Journal of Logical and Algebraic Methods in Programming, 85 (3). p. 367. ISSN 2352-2208 (2016)

2015

Bruni, Roberto and Corradini, Andrea and Gadducci, Fabio and Lafuente, Alberto Lluch and Vandin, Andrea Modelling and analyzing adaptive self-assembly strategies with Maude. Science of Computer Programming, 99. 75 - 94. ISSN 0167-6423 (2015)

Andrić, Marina and De Nicola, Rocco and Lafuente, Alberto Lluch Replica-Based High-Performance Tuple Space Computing. In: Coordination Models and Languages.17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science (9037). Springer, pp. 3-18. ISBN 978-3-319-19282-6 (2015)

Knight, Sophia and Lanese, Ivan and Lafuente, Alberto Lluch and Torres Vieira, Hugo (edited by) Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. Electronic Proceedings in Theoretical Computer Science, 189. ISSN 2075-2180 (2015)