TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Genaim, Samir
AU  - Gordillo Alguacil, Pablo
PY  - 2015
DO  - 10.1007/978-3-662-48288-9_5
SN  - 978-3-662-48287-2
SN  - 978-3-662-48288-9
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/96467
AB  - A may-happen-in-parallel (MHP) analysis computes pairs of program points that may execute in parallel across different distributed components. This information has been proven to be essential to infer both safety properties (e.g., deadlock freedom)...
LA  - eng
M2  - 72
TI  - May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
TY  - conference paper
ER  -