2004
Tobias Heindel. Encoding the -calculus into the calculus of explicit fusions, 2004. Dagstuhl Seminar: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.	Info See www.dagstuhl.de ...
2003
Tobias Heindel. Cyclic -graph reduction, call-by-need, and their process semantics. Master's thesis, Eberhard Karls Universität Tübingen, 2003.	PDF (464 kB) Info