Gerrit Jan Veltink
Gerrit Jan Veltink
Professor of Media and Computer Science
Verifierad e-postadress på hs-emden-leer.de - Startsida
TitelCiteras avÅr
A process specification formalism
S Mauw, GJ Veltink
Fundamenta Informaticae 13 (2), 85-139, 1990
1501990
Algebraic specification of communication protocols
S Mauw, GJ Veltink
Cambridge university press, 2008
932008
An introduction to PSFd
S Mauw, GJ Veltink
International Joint Conference on Theory and Practice of Software …, 1989
371989
The PSF toolkit
G Veltink
Computer Networks and ISDN Systems 25 (7), 875-898, 1993
291993
A proof assistant for PSF
S Mauw, GJ Veltink
International Conference on Computer Aided Verification, 158-168, 1991
201991
A process specification formalism based on static COLD
JCM Baeten, JA Bergstra, S Mauw, GJ Veltink
Workshop on Algebraic Methods, 303-335, 1989
131989
Tools for PSF
GJ Veltink
91995
A tool interface language for PSF
S Mauw, GJ Veltink
University of Amsterdam, 1989
91989
A process specification formalism, report P8814
S Mauw, GJ Veltink
Programming Research Group, University of Amsterdam, 1988
71988
From PSF to TIL
GJ Veltink
Report P9009, Programming Research Group, University of Amsterdam, 1990
41990
PSF-A Retrospective
GJ Veltink
Fundamenta Informaticae 100 (1-4), 181-227, 2010
22010
XP, an experiment in modular specification
G Veltink
Formal Description Techniques, IV, 149-164, 1992
21992
TIL~
G Veltink, DTW Kommunikationssysteme
ACP: algebra of communicating processes: workshop: proceedings, 2nd …, 1990
21990
PSF & The PSF Toolkit
G Veltink
ITG FACHBERICHT, 137-148, 1996
1996
Algebraic specifications in PSF
GJ Veltink
Algebraic specification of communication protocols, 9-46, 1993
1993
Syntax of PSF
S Mauw, GJ Veltink
Algebraic specification of communication protocols, 185-188, 1993
1993
The PSF library
S Mauw, GJ Veltink
Algebraic specification of communication protocols, 179-184, 1993
1993
Modellierung von parallelen und verteilten Systemen mit domänenspezifischen Sprachen
A Breer, GJ Veltink
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–18