Следене
Jorge A. Pérez
Заглавие
Позовавания
Позовавания
Година
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
882011
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
882008
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
862013
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
802018
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
692012
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
632014
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
Linearity, control effects, and behavioral types
L Caires, JA Pérez
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
522017
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
352016
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
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
322010
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
312016
Comparing deadlock-free session typed processes
O Dardha, JA Pérez
arXiv preprint arXiv:1508.06707, 2015
292015
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
282011
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
272009
Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc
M Toro
arXiv preprint arXiv:1810.05495, 2018
262018
Towards a unified framework for declarative structured communications
HA López, C Olarte, JA Pérez
arXiv preprint arXiv:1002.0930, 2010
262010
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20