Full name: Jan Willem Klop
Formal name: Prof.dr. J.W. Klop
Function: CWI-Fellow
Email: Jan.Willem.Klop@cwi.nl
Research groups: CWI Management
Formal name: Prof.dr. J.W. Klop
Function: CWI-Fellow
Email: Jan.Willem.Klop@cwi.nl
Research groups: CWI Management
Career
| 2013 | CWI-fellow DIR - Directie |
| 2007 - 2009 | Scientific staff member SEN1 - Software Analysis and Transformation |
| 1997 - 2007 | Scientific staff member SEN2 - Specification and Analysis of Embedded Systems |
| 1980 - 1996 | CWI - not known [unknown - |
Recent Publications
| J.C.M. Baeten, J.W. Klop. Typography in process algebra. Jan Karel Lenstra, the Traveling Science Man. Liber amicorum, 127–138, 2011. |
| C.A. Grabmayer, J.W. Klop, S.P. Luttik. Reflections on a geometry of processes. Proceedings of Workshop Essays on Algebraic Process Calculi 2007 (25), Lecture Notes in Computer Science 126, 183–190, 2006. |
| J.W. Klop, V. van Oostrom, R. de Vrijer. Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday. , Lecture Notes in Computer Science 4060, 541–554, 2006. |
| C.A. Grabmayer, J.W. Klop, S.P. Luttik. Some Remarks on Definability of Process Graphs. LNCS, Lecture Notes in Computer Science 4137, 16–36, 2006. |
| W.J. Fokkink, J.W. Klop. Computing with actions and communications. International Symposium on Formal Methods for Components and ObjectsBulletin of the Belgian Mathematical Society Simon Stevin 13, Amsterdam, The Netherlands, 789–905, 2006. |
