Tagungsbänder / Konferenzen

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.

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.

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.

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

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.

Fachzeitschriften

G.J. Veltink

PSF - A Retrospective,

in: Fundamenta Informaticae 100 (2010), pp. 181-227,

IOS Press, 2010.

G.J. Veltink
The PSF Toolkit,
in: Computer Networks and ISDN systems 25 (1993) pp. 875-898,
Elsevier Science Publishers, 1993.

S. Mauw & G.J. Veltink

A process specification formalism,

in: Fundamenta Informaticae XIII (1990), pp. 85-139,

IOS Press, 1990.

Bücher

S. Mauw & G.J. Veltink (eds.)

Algebraic specification of communication protocols,

Cambridge University Press, 1993.

ISBN 0-521-41883-6

G.J. Veltink

Tools for PSF,

PhD. Thesis,

ILLC Dissertation 1995-9,

University of Amsterdam, 1995.

ISBN 90-74795-29-3