Información de la publicación "Time Analysis of Actor Programs":
Cosimo Laneve, Michael Lienhardt, Ka I Pun, and Guillermo Román-Díez. Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming, 2019.
https://doi.org/10.1016/j.jlamp.2019.02.007
El estado de la publicación se puede consultar en:
https://authors.elsevier.com/tracking/article/details.do?aid=447&jid=JLAMP&surname=Rom%C3%A1n-D%C3%ADez