ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
Universidad Autónoma de Madrid
Madrid, EspañaPublicacions en col·laboració amb investigadors/es de Universidad Autónoma de Madrid (1)
2015
-
May-happen-in-parallel analysis for actor-based concurrency
ACM Transactions on Computational Logic, Vol. 17, Núm. 2