Travelled to:1 × Spain
Collaborated with:P.C.Fencott A.Galloway S.J.O'Brien S.Pearson
Talks about:formalis (1) process (1) essenti (1) algebra (1) semant (1) mellor (1) model (1) ward (1) use (1)
Person: M. A. Lockyer
DBLP: Lockyer:M=_A=
Contributed to:
1994Wrote 1 papers:
- 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.