Jorge Perez Parra

发表

New Results - Primitives for adaptable and evolvable components

Marco Pistore, Ivan Lanese, Mario Bravetti, 2010 .

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA

Ivan Lanese, Davide Sangiorgi, Alan Schmitt, 2008, LICS.

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, 31st August 2015.

Ornela Dardha, Jorge Perez Parra, 2015 .

Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, 23rd March 2013.

Cinzia Di Giusto, Jorge Perez Parra, 2013 .

Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, 26 August 2013.

Jesús Aranda, Jorge Perez Parra, Juan Francisco Díaz, 2014 .

Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009

Carlos Olarte, Hugo A. López, Jorge Perez Parra, 2009, PLACES.

Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings

Ivan Lanese, Davide Sangiorgi, Alan Schmitt, 2009, ICTCS.

New Results - Expressiveness of computational models

Ivan Lanese, Cosimo Laneve, Maurizio Gabbrielli, 2010 .

Proceedings Third Workshop on Behavioural Types, BEAT 2014, 1st September 2014.

Hugo Torres Vieira, Jovanka Pantovic, Silvia Ghilezan, 2014 .