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
902013
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
782018
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
652014
Linearity, control effects, and behavioral types
L Caires, JA Pérez
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
562017
Multiparty session types within a canonical binary theory, and beyond
L Caires, JA Pérez
International Conference on Formal Techniques for Distributed Objects …, 2016
552016
Adaptable processes
M Bravetti, C Di Giusto, JA Perez, G Zavattaro
Logical Methods in Computer Science 8, 2012
512012
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
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
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
322016
Comparing deadlock-free session typed processes
O Dardha, JA Pérez
arXiv preprint arXiv:1508.06707, 2015
282015
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
272011
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
Higher-Order Concurrency: Expressiveness and Decidability Results
JA Pérez
PhD thesis, University of Bologna, 2010
232010
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