A PSF Library of Data Types
S. Mauw & J.C. Mulder (TUE)
(Available as P9504-5.ps.gz)
Abstract
We present a library of basic data types for the process specification
formalism PSF. The specification is written in the algebraic
specification formalism ASF, which is a sublanguage of PSF.