Travelled to:1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:S.Dunne G.Lüttgen J.T.Mühlberg R.Siminiceanu P.C.Fencott M.A.Lockyer S.J.O'Brien S.Pearson
Talks about:correct (2) model (2) formalis (1) virtual (1) process (1) partial (1) general (1) essenti (1) algebra (1) system (1)
Person: Andy Galloway
DBLP: Galloway:Andy
Facilitated 1 volumes:
EdContributed to:
20092007
1994Wrote 3 papers:
- VMCAI-2009-GallowayLMS #file system #linux #model checking
- Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
- IFM-2007-DunneG #correctness
- Lifting General Correctness into Partial Correctness is ok (SD, AG), pp. 215–232.
- FME-1994-FencottGLOP #algebra #formal method #modelling #process #semantics #using
- Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra (PCF, AG, MAL, SJO, SP), pp. 681–702.