Informática
Faculty
University of Paris-Sorbonne
París, FranciaPublications in collaboration with researchers from 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