"Higher-Order Concurrency: Expressiveness and Decidability."

Jorge A. Pérez (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics