 |
|
S. Mauw & G.J. Veltink
An introduction to PSFd,
in: Proc. International Joint Conference on Theory and Practice of Software Development,
TAPSOFT ´89, Barcelona,
J. Díaz, F. Orejas, (eds.),
LNCS 352, pp. 272-285,
Springer Verlag, 1989.
J.C.M. Baeten, J.A. Bergstra, S. Mauw & G.J. Veltink
A process specification formalism based on static COLD,
in: Algebraic Methods II: Theory, Tools and Applications,
J.A. Bergstra & L.M.G. Feijs (eds.),
LNCS 490, pp. 303-335,
Springer Verlag, 1991.
S. Mauw & G.J. Veltink
A proof assistant for PSF,
in: Proceedings CAV ´91, Aalborg, Computer-Aided Verification,
LNCS 575, pp. 158-168,
Springer Verlag, 1992.
G.J. Veltink
XP, an experiment in modular specification,
in: Proceedings FORTE ´91, Sydney,
Formal Description Techniques IV, pp. 149-164,
(K.R. Parker & G.A. Rose, eds.),
North-Holland, 1992.
G.J. Veltink
PSF & The PSF Toolkit,
in: Proceedings STAK ´96, München,
Softwaretechnik in Automation und Kommunikation,
(J. Swoboda, ed.),
ITG/GI/GMA, 1996. |
