Higher-Order Concurrency: Expressiveness and Decidability Results. - Jorge Andres Perez-Parra (2010)