Special Issue: Best Papers Presented at ICTAC 2015

Martin Leucker (1) , Jorge A. Pérez (2) , Camilo Rueda (3, 4) , Frank D. Valencia (5, 6, 3, 4)

1 ISP - Institut für Softwaretechnik und Programmiersprachen [Lübeck]
2 University of Groningen [Groningen]
3 Pontificia universidad Javeriana, Cali
4 AVISPA Resarch Group - Ambientes VISuales de Progamación Aplicativa
5 COMETE - Concurrency, Mobility and Transactions
6 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

This issue of Mathematical Structures in Computer Science (MSCS) contains a selection of papers presented at the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), which took place in Cali, Colombia, on October 29–31, 2015.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia (Dir.). Special Issue: Best Papers Presented at ICTAC 2015. Cambridge University Press, inPress, Mathematical Structures in Computer Science. ⟨hal-01837891⟩