| |
| 2007 | ||
|---|---|---|
| 5 | EE | Joost Engelfriet, Tjalling Gelsema: An exercise in structural congruence. Inf. Process. Lett. 101(1): 1-5 (2007) |
| 2004 | ||
| 4 | EE | Joost Engelfriet, Tjalling Gelsema: A new natural structural congruence in the pi-calculus with replication. Acta Inf. 40(6-7): 385-430 (2004) |
| 2001 | ||
| 3 | EE | Joost Engelfriet, Tjalling Gelsema: Structural inclusion in the pi-calculus with replication. Theor. Comput. Sci. 258(1-2): 131-168 (2001) |
| 1999 | ||
| 2 | EE | Joost Engelfriet, Tjalling Gelsema: Multisets and Structural Congruence of the pi-Calculus with Replication. Theor. Comput. Sci. 211(1-2): 311-337 (1999) |
| 1998 | ||
| 1 | EE | Joost Engelfriet, Tjalling Gelsema: Axioms for Generalized Graphs, Illustrated by a Cantor-Bernstein Proposition. Acta Inf. 35(12): 1075-1096 (1998) |
| 1 | Joost Engelfriet | [1] [2] [3] [4] [5] |