Travelled to:1 × France
1 × USA
Collaborated with:A.W.Roscoe T.Gibson-Robinson A.Boulgakov M.Goldsmith G.Lowe J.Ouaknine H.Palikareva J.Worrell
Talks about:fdr (2) develop (1) checker (1) recent (1) modern (1) refin (1) csp (1)
Person: Philip J. Armstrong
DBLP: Armstrong:Philip_J=
Contributed to:
2014
2012Wrote 2 papers:
- TACAS-2014-Gibson-RobinsonABR #csp #named #refinement
- FDR3 — A Modern Refinement Checker for CSP (TGR, PJA, AB, AWR), pp. 187–201.
- CAV-2012-ArmstrongGLOPRW
- Recent Developments in FDR (PJA, MG, GL, JO, HP, AWR, JW), pp. 699–704.