| Context-free graph grammars and concatenation of graphs J Engelfriet, J Joris Vereijken Acta Informatica 34 (10), 773-803, 1997 | 48 | 1997 |
| Discrete-time process algebra JJ Vereijken | 41 | 1997 |
| Fischer's protocol in timed process algebra JJ Vereijken Technische Universiteit Eindhoven, 1994 | 21 | 1994 |
| A process algebra for hybrid systems JJ Vereijken The Second European Workshop on Real-Time and Hybrid Systems, Grenoble, France, 1995 | 19 | 1995 |
| Concatenation of graphs J Engelfriet, JJ Vereijken Graph Grammars and Their Application to Computer Science: 5th International …, 1996 | 9 | 1996 |
| Discrete-time process algebra with empty process JCM Baeten, JJ Vereijken Technische Universiteit Eindhoven, 1997 | 6 | 1997 |
| Completeness in discrete-time process algebra MA Reniers, JJ Vereijken Technische Universiteit Eindhoven, 1996 | 5 | 1996 |
| Graph grammars and operations on graphs JJ Vereijken Department of Computer Science, Leiden University (Master's Thesis, 145 p.), 1993 | 5 | 1993 |
| Erratum to “Book review: Process algebra with timing”[Sci. Comput. Programming 51 (2004) 291–292] JJ Vereijken Science of Computer Programming 54 (2-3), 313, 2005 | | 2005 |
Joost Engelfrietassociate professor, LIACS, Leiden Universityliacs.leidenuniv.nl의 이메일 확인됨