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

Browse the full FM paper archive.