Informática
Facultad
University of Paris-Sorbonne
París, FranciaPublicaciones en colaboración con investigadores/as 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