Publications

Regarding Process Algebra

J.J. Vereijken, Discrete-Time Process Algebra.
Ph.D. Thesis, TUE, 1997. PDF, 344 pages.
Stellingen, bibtex entry, and hardcover copy available.
J.C.M. Baeten and J.J. Vereijken, Discrete-Time Process Algebra with Empty Process.
Technical Report CSR 97/05, TUE, 1997. PDF, 51 pages.
Abstract and bibtex entry available.
M.A. Reniers and J.J. Vereijken, Completeness in Discrete-Time Process Algebra.
Technical Report CSR 96/15, TUE, 1996. PDF, 139 pages.
Abstract and bibtex entry available.
J.J. Vereijken, A Process Algebra for Hybrid Systems.
Extended abstract of talk presented at The Second European Workshop on Real-Time and Hybrid Systems, Grenoble, France, 1995. PDF, 9 pages.
No abstract or bibtex entry available.
J.J. Vereijken, Fischer's Protocol in Timed Process Algebra.
Technical Report CSR 94/32, TUE, 1994. PDF, 38 pages.
Abstract and bibtex entry available.

J. Engelfriet and J.J. Vereijken, Context-Free Graph Grammars and Concatenation of Graphs.
Acta Informatica, 34(10):773-803, 1997.
Abstract and bibtex entry available.
J. Engelfriet and J.J. Vereijken, Concatenation of Graphs.
In Graph Grammars and Their Application to Computer Science (J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors), Lecture Notes in Computer Science 1073, Springer, 1996, pages 368-382.
Bibtex entry available.
J. Engelfriet and J.J. Vereijken, Context-Free Graph Grammars and Concatenation of Graphs.
Technical Report CSR 95/33, TUE, Technical Report 95-27, LIACS, 1995. PDF, 35 pages.
Abstract and bibtex entry available.
J. Engelfriet and J.J. Vereijken, Concatenation of Graphs.
Technical Report CSR 94/42, TUE, 1994. PDF, 7 pages.
Abstract and bibtex entry available.
J.J. Vereijken, Graph Grammars and Operations on Graphs.
Master's Thesis, LIACS, 1993. PDF, 145 pages.
Bibtex entry and hardcover copy available.

LIACS: Leiden Institute of Advanced Computer Science, Leiden University.
P.O. Box 9512, NL-2300 RA, Leiden, The Netherlands
TUE: Department of Mathematics and Computer Science, Eindhoven University of Technology.
P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

Jan Joris Vereijken / [email protected]