Sistemas Informáticos y Computación
Département
University of Paris-Sorbonne
París, FranciaPublications en collaboration avec des chercheurs 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