TY  - CPAPER
AU  - Nanevski, Aleksandar
AU  - Banerjee, Anindya
AU  - Delbianco, Germán Andrés
AU  - Fábregas, Ignacio
AU  - Fábregas Alfaro, Ignacio
PY  - 2019
DO  - 10.1145/3360587
UR  - https://hdl.handle.net/20.500.14352/98261
AB  - In addition to pre- and postconditions, program specifications in recent separation logics for concurrency have employed an algebraic structure of resourcesÐa form of state transition systemsÐto describe the state-based program invariants that must be...
LA  - eng
TI  - Specifying concurrent programs in separation logic: morphisms and simulations
TY  - conference paper
ER  -