Travelled to:1 × Finland
Collaborated with:E.Giachino C.Laneve M.Lienhardt P.Y.H.Wong
Talks about:deadlock (1) practic (1) concurr (1) analysi (1) theori (1) object (1)
Person: Carlo A. Grazia
DBLP: Grazia:Carlo_A=
Contributed to:
2013Wrote 1 papers:
- IFM-2013-GiachinoGLLW #analysis #concurrent #theory and practice
- Deadlock Analysis of Concurrent Objects: Theory and Practice (EG, CAG, CL, ML, PYHW), pp. 394–411.