1. Angelic semantics of fine-grained concurrency;Annals of Pure and Applied Logic;2008-02
2. Syntactic control of concurrency;Theoretical Computer Science;2006-02
3. Syntactic Control of Concurrency;Automata, Languages and Programming;2004
4. Transfer Principles for Reasoning About Concurrent Programs;Electronic Notes in Theoretical Computer Science;2001-11
5. Recursion and Petri nets;Acta Informatica;2001-08