Publicaciones en colaboración con investigadores/as de University of Paris-Sorbonne (1)

2019

  1. Specifying concurrent programs in separation logic: Morphisms and simulations

    Proceedings of the ACM on Programming Languages, Vol. 3, Núm. OOPSLA