- Parallel graph rewriting - some contributions to its theory, its implementation and its application
The Clean programming language is build upon this, if I'm not mistaken.