Jorge A. Pérez
Title
Cited by
Cited by
Year
On the expressiveness and decidability of higher-order process calculi
I Lanese, JA Pérez, D Sangiorgi, A Schmitt
Information and Computation 209 (2), 198-226, 2011
752011
On the expressiveness and decidability of higher-order process calculi
I Lanese, JA Pérez, D Sangiorgi, A Schmitt
Logic in Computer Science, 2008. LICS'08. 23rd Annual IEEE Symposium on, 145-155, 2008
752008
Behavioral polymorphism and parametricity in session-based communication
L Caires, JA Pérez, F Pfenning, B Toninho
European Symposium on Programming, 330-349, 2013
622013
Linear logical relations for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
European Symposium on Programming, 539-558, 2012
592012
Linear logical relations and observational equivalences for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
Information and Computation 239, 254-302, 2014
372014
Adaptable processes
M Bravetti, C Di Giusto, JA Pérez, G Zavattaro
arXiv preprint arXiv:1210.6379, 2012
322012
On the expressiveness of polyadic and synchronous communication in higher-order process calculi
I Lanese, JA Pérez, D Sangiorgi, A Schmitt
Automata, Languages and Programming, 442-453, 2010
312010
Timed concurrent constraint programming for analysing biological systems
J Gutiérrez, JA Pérez, C Rueda, FD Valencia
Electronic Notes in Theoretical Computer Science 171 (2), 117-137, 2007
312007
Runtime Verification for Decentralised and Distributed Systems
A Francalanza, JA Pérez, C Sánchez
Lectures on Runtime Verification, 176-210, 2018
302018
Multiparty session types within a canonical binary theory, and beyond
L Caires, JA Pérez
International Conference on Formal Techniques for Distributed Objects …, 2016
292016
Linearity, Control Effects, and Behavioral Types
L Caires, JA Pérez
European Symposium on Programming, 229-259, 2017
262017
Towards a unified framework for declarative structured communications
HA López, C Olarte, JA Pérez
arXiv preprint arXiv:1002.0930, 2010
262010
An overview of FORCES: an INRIA project on declarative formalisms for emergent systems
J Aranda, G Assayag, C Olarte, JA Pérez, C Rueda, M Toro, FD Valencia
International Conference on Logic Programming, 509-513, 2009
262009
Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc
M Toro
arXiv preprint arXiv:1810.05495, 2018
252018
Type-based access control in data-centric systems
L Caires, JA Pérez, JC Seco, HT Vieira, L Ferrão
European Symposium on Programming, 136-155, 2011
222011
Higher-Order Concurrency: Expressiveness and Decidability Results
JA Pérez
PhD thesis, University of Bologna, 2010
222010
Towards global and local types for adaptation
M Bravetti, M Carbone, T Hildebrandt, I Lanese, J Mauro, JA Pérez, ...
International Conference on Software Engineering and Formal Methods, 3-14, 2013
202013
On the expressiveness of forwarding in higher-order communication
C Di Giusto, JA Pérez, G Zavattaro
International Colloquium on Theoretical Aspects of Computing, 155-169, 2009
192009
Non-determinism and probabilities in timed concurrent constraint programming
JA Pérez, C Rueda
International Conference on Logic Programming, 677-681, 2008
192008
Self-adaptation and secure information flow in multiparty communications
I Castellani, M Dezani-Ciancaglini, JA Pérez
Formal Aspects of Computing 28 (4), 669-696, 2016
172016
The system can't perform the operation now. Try again later.
Articles 1–20