Kamu erişimi zorunlu olan makaleler - Jorge A. PérezDaha fazla bilgi edinin
Bir yerde sunuluyor: 45
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
Zorunlu olanlar: European Commission, Government of Spain
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
Zorunlu olanlar: Fundação para a Ciência e a Tecnologia, Portugal
Linearity, control effects, and behavioral types
L Caires, JA Pérez
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
Zorunlu olanlar: Fundação para a Ciência e a Tecnologia, Portugal, European Commission
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
Zorunlu olanlar: Netherlands Organisation for Scientific Research, UK Engineering and …
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
Zorunlu olanlar: European Commission
Comparing type systems for deadlock freedom
O Dardha, JA Pérez
Journal of Logical and Algebraic Methods in Programming 124, 100717, 2022
Zorunlu olanlar: Netherlands Organisation for Scientific Research, UK Engineering and …
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
Zorunlu olanlar: Fundação para a Ciência e a Tecnologia, Portugal, European Commission
A decentralized analysis of multiparty protocols
B van den Heuvel, JA Pérez
Science of Computer Programming 222, 102840, 2022
Zorunlu olanlar: Netherlands Organisation for Scientific Research
Session Type Systems based on Linear Logic: Classical versus Intuitionistic.
B van den Heuvel, JA Pérez
PLACES@ ETAPS, 1-11, 2020
Zorunlu olanlar: Netherlands Organisation for Scientific Research
Characteristic bisimulation for higher-order session processes
D Kouzapas, JA Perez, N Yoshida
Zorunlu olanlar: UK Engineering and Physical Sciences Research Council, European Commission
Disciplined structured communications with disciplined runtime adaptation
C Di Giusto, JA Pérez
Science of Computer Programming 97, 235-265, 2015
Zorunlu olanlar: Fundação para a Ciência e a Tecnologia, Portugal
Reversibility in session-based concurrency: A fresh look
CA Mezzina, JA Pérez
Journal of logical and algebraic methods in programming 90, 2-30, 2017
Zorunlu olanlar: European Commission
Combining behavioural types with security analysis
M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ...
Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015
Zorunlu olanlar: European Commission
Minimal Session Types
A Arslanagic, JA Pérez, E Voogd
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
Zorunlu olanlar: Netherlands Organisation for Scientific Research
Non-Deterministic Functions as Non-Deterministic Processes
JWN Paulus, D Nantes-Sobrinho, JA Pérez
6th International Conference on Formal Structures for Computation and …, 2021
Zorunlu olanlar: Netherlands Organisation for Scientific Research
Typed Non-determinism in Functional and Concurrent Calculi
B van den Heuvel, JWN Paulus, D Nantes-Sobrinho, JA Pérez
Asian Symposium on Programming Languages and Systems, 112-132, 2023
Zorunlu olanlar: Netherlands Organisation for Scientific Research, UK Engineering and …
Monitoring Blackbox Implementations of Multiparty Session Protocols
B van den Heuvel, JA Pérez, RA Dobre
International Conference on Runtime Verification, 66-85, 2023
Zorunlu olanlar: Netherlands Organisation for Scientific Research
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
D Frumin, E D’Osualdo, B van den Heuvel, JA Pérez
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 841-869, 2022
Zorunlu olanlar: Netherlands Organisation for Scientific Research, European Commission
Domain-aware session types
L Caires, JA Pérez, F Pfenning, B Toninho
30th International Conference on Concurrency Theory (CONCUR 2019), 35: 1-35: 17, 2019
Zorunlu olanlar: US National Science Foundation, Netherlands Organisation for Scientific Research
An event-based approach to runtime adaptation in communication-centric systems
C Di Giusto, JA Pérez
Web Services, Formal Methods, and Behavioral Types, 67-85, 2014
Zorunlu olanlar: European Commission
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir