Jorge A. Pérez
TítuloCitado porAño
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
712011
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
712008
Behavioral polymorphism and parametricity in session-based communication
L Caires, JA Pérez, F Pfenning, B Toninho
European Symposium on Programming, 330-349, 2013
502013
Linear logical relations for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
European Symposium on Programming, 539-558, 2012
492012
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
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
272010
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
252014
Towards a unified framework for declarative structured communications
HA López, C Olarte, JA Pérez
arXiv preprint arXiv:1002.0930, 2010
252010
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
242009
Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc
M Toro
arXiv preprint arXiv:1810.05495, 2018
222018
Multiparty session types within a canonical binary theory, and beyond
L Caires, JA Pérez
International Conference on Formal Techniques for Distributed Objects …, 2016
212016
Higher-Order Concurrency: Expressiveness and Decidability Results
JA Pérez
PhD thesis, University of Bologna, 2010
202010
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
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
182013
Non-determinism and probabilities in timed concurrent constraint programming
JA Pérez, C Rueda
International Conference on Logic Programming, 677-681, 2008
182008
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
172011
Linearity, Control Effects, and Behavioral Types
L Caires, JA Pérez
European Symposium on Programming, 229-259, 2017
152017
Disciplined structured communications with consistent runtime adaptation
C Di Giusto, JA Pérez
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1913-1918, 2013
152013
Comparing deadlock-free session typed processes
O Dardha, JA Pérez
arXiv preprint arXiv:1508.06707, 2015
142015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20