Follow
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
922011
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
922008
Behavioral polymorphism and parametricity in session-based communication
L Caires, JA Pérez, F Pfenning, B Toninho
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
882013
Runtime verification for decentralised and distributed systems
A Francalanza, JA Pérez, C Sánchez
Lectures on Runtime Verification: Introductory and Advanced Topics, 176-210, 2018
742018
Linear logical relations for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
732012
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
622014
Linearity, control effects, and behavioral types
L Caires, JA Pérez
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
532017
Multiparty session types within a canonical binary theory, and beyond
L Caires, JA Pérez
International Conference on Formal Techniques for Distributed Objects …, 2016
532016
Adaptable processes
M Bravetti, C Di Giusto, JA Perez, G Zavattaro
Logical Methods in Computer Science 8, 2012
502012
On the relative expressiveness of higher-order session processes
D Kouzapas, JA Pérez, N Yoshida
European Symposium on Programming Languages and Systems, 446-475, 2016
372016
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
342010
Self-adaptation and secure information flow in multiparty communications
I Castellani, M Dezani-Ciancaglini, JA Pérez
Formal Aspects of Computing 28, 669-696, 2016
332016
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
332007
Comparing deadlock-free session typed processes
O Dardha, JA Pérez
arXiv preprint arXiv:1508.06707, 2015
272015
Towards a unified framework for declarative structured communications
HA López, C Olarte, JA Pérez
arXiv preprint arXiv:1002.0930, 2010
272010
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
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 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
252011
Higher-Order Concurrency: Expressiveness and Decidability Results
JA Pérez
PhD thesis, University of Bologna, 2010
222010
Causally consistent reversible choreographies: a monitors-as-memories approach
CA Mezzina, JA Pérez
Proceedings of the 19th International Symposium on Principles and Practice …, 2017
202017
The system can't perform the operation now. Try again later.
Articles 1–20