| A process specification formalism S Mauw, GJ Veltink Fundamenta Informaticae 13 (2), 85-139, 1990 | 152 | 1990 |
| Algebraic specification of communication protocols S Mauw, GJ Veltink Cambridge university press, 1993 | 98 | 1993 |
| An introduction to PSFd S Mauw, GJ Veltink International Joint Conference on Theory and Practice of Software …, 1989 | 37 | 1989 |
| 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 | 36 | 2020 |
| The PSF toolkit G Veltink Computer Networks and ISDN Systems 25 (7), 875-898, 1993 | 23 | 1993 |
| A proof assistant for PSF S Mauw, GJ Veltink Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992 | 21 | 1992 |
| 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 | 16 | 1991 |
| Tools for PSF GJ Veltink University of Amsterdam, 1995 | 10 | 1995 |
| The PSF toolkit GJ Veltink University of Amsterdam, 1991 | 9 | 1991 |
| A tool interface language for PSF S Mauw, GJ Veltink University of Amsterdam, 1989 | 9 | 1989 |
| A process specification formalism, report P8814 S Mauw, GJ Veltink Programming Research Group, University of Amsterdam, 1988 | 8 | 1988 |
| From PSF to TIL GJ Veltink Report P9009, Programming Research Group, University of Amsterdam, 1990 | 4 | 1990 |
| PSF-A Retrospective GJ Veltink Fundamenta Informaticae 100 (1-4), 181-227, 2010 | 3 | 2010 |
| XP, an experiment in modular specification G Veltink Formal Description Techniques, IV, 149-164, 1992 | 2 | 1992 |
| TIL~ G Veltink, DTW Kommunikationssysteme ACP: algebra of communicating processes: workshop: proceedings, 2nd …, 1990 | 2 | 1990 |
| Modellierung von parallelen und verteilten Systemen mit domänenspezifischen Sprachen A Breer, GJ Veltink Proceedings EKA, 2014 | 1 | 2014 |
| 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 |
Sjouke MauwProfessor in Security and Trust of Software Systems, University of LuxembourgGeverifieerd e-mailadres voor uni.lu
