TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Genaim, Samir
AU  - Gordillo Alguacil, Pablo
PY  - 2015
UR  - https://hdl.handle.net/20.500.14352/25003
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 forAsynchronous Programs with Inter-ProceduralSynchronization
TY  - conference paper
ER  -