| The Semantics of Triveni: A process-Algebraic API for Threads + Events | 3 | 0.56 | 1998 |
| Type inference with extended pattern matching and subtypes | 10 | 1.00 | 1993 |
| Self-Synchronization of Concurrent Processes (Preliminary Report) | 0 | 0.34 | 1993 |
| Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report) | 4 | 0.87 | 1993 |
| Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report | 2 | 0.38 | 1992 |
| ML with extended pattern matching and subtypes | 45 | 19.24 | 1988 |
