Publication
A Vision for Management of Complex Models
Publication
Bisimulations in the Join-Calculus
Publication
Compiling Embedded Languages
Publication
Farmer’s Theorem revisited
Publication