Follow
Gerrit Jan Veltink
Gerrit Jan Veltink
Professor of Media and Computer Science
Verified email at hs-emden-leer.de - Homepage
Title
Cited by
Cited by
Year
A process specification formalism
S Mauw, GJ Veltink
Fundamenta Informaticae 13 (2), 85-139, 1990
1511990
Algebraic specification of communication protocols
S Mauw, GJ Veltink
Cambridge university press, 2008
962008
An introduction to PSFd
S Mauw, GJ Veltink
International Joint Conference on Theory and Practice of Software …, 1989
371989
Learning industrial cyber-physical systems and industry 4.0-compliant solutions
AW Colombo, GJ Veltink, J Roa, ML Caliusco
2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS) 1, 384-390, 2020
282020
The PSF toolkit
G Veltink
Computer Networks and ISDN Systems 25 (7), 875-898, 1993
221993
A proof assistant for PSF
S Mauw, GJ Veltink
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
201992
A process specification formalism based on static COLD
JCM Baeten, JA Bergstra, S Mauw, GJ Veltink
Algebraic Methods II: Theory, Tools and Applications, 303-335, 1991
151991
Tools for PSF
GJ Veltink
University of Amsterdam, 1995
101995
The PSF toolkit
GJ Veltink
University of Amsterdam, 1991
91991
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
81988
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
32010
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
Modellierung von parallelen und verteilten Systemen mit domänenspezifischen Sprachen
A Breer, GJ Veltink
Proceedings EKA, 2014
12014
Definition und Implementierung einer formalen Sprache zur Spezifikation, Verifikation und Implementierung von parallelen und verteilten Systemen
G Veltink
2015
PSF & The PSF Toolkit
G Veltink
ITG FACHBERICHT, 137-148, 1996
1996
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
The system can't perform the operation now. Try again later.
Articles 1–20