Travelled to:1 × Singapore
Collaborated with:A.Sampaio J.Woodcock
Talks about:strategi (1) deadlock (1) process (1) network (1) analysi (1) refin (1) local (1) base (1) csp (1)
Person: Pedro R. G. Antonino
DBLP: Antonino:Pedro_R=_G=
Contributed to:
2014Wrote 1 papers:
- FM-2014-AntoninoSW #analysis #concurrent #csp #network #process #refinement
- A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes (PRGA, AS, JW), pp. 62–77.