S. Pearson

According to our database, S. Pearson authored at least 1 paper in 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1994

Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra.

P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994