BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Galloway:Andy

Facilitated 1 volumes:

IFM 1999Ed

Contributed to:

VMCAI 20092009
IFM 20072007
FME 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.