IGNACIO
FÁBREGAS ALFARO
Profesor contratado doctor
University of Paris-Sorbonne
París, FranciaPublicacions en col·laboració amb investigadors/es de University of Paris-Sorbonne (1)
2019
-
Specifying concurrent programs in separation logic: Morphisms and simulations
Proceedings of the ACM on Programming Languages, Vol. 3, Núm. OOPSLA