According to our database1, Tjalling Gelsema authored at least 5 papers between 1998 and 2007.
Legend:Book In proceedings Article PhD thesis Other
An exercise in structural congruence.
Inf. Process. Lett., 2007
A new natural structural congruence in the pi-calculus with replication.
Acta Inf., 2004
Structural inclusion in the pi-calculus with replication.
Theor. Comput. Sci., 2001
Multisets and Structural Congruence of the pi-Calculus with Replication.
Theor. Comput. Sci., 1999
Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition.
Acta Inf., 1998