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