default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJorge A. Pérez 0001
Jorge Andrés Pérez
Person information
- affiliation: University of Groningen, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j51]Bas van den Heuvel
, Jorge A. Pérez:
Comparing session type systems derived from linear logic. J. Log. Algebraic Methods Program. 142: 101004 (2025)- 2024
- [j50]Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc:
Minimal session types for the π-calculus. Inf. Comput. 297: 105148 (2024) - [j49]Bas van den Heuvel, Jorge A. Pérez:
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks. Log. Methods Comput. Sci. 20(4) (2024) - [c61]Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez:
Around Classical and Intuitionistic Linear Processes. CONCUR 2024: 30:1-30:19 - [i22]Bas van den Heuvel, Jorge A. Pérez:
Comparing Session Type Systems derived from Linear Logic. CoRR abs/2401.14763 (2024) - [i21]Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez:
Around Classical and Intuitionistic Linear Processes. CoRR abs/2407.06391 (2024) - 2023
- [j48]Alen Arslanagic, Pavle Subotic, Jorge A. Pérez:
Bit-Vector Typestate Analysis. Formal Aspects Comput. 35(3): 19:1-19:36 (2023) - [j47]Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez:
Session-based concurrency in Maude: Executable semantics and type checking. J. Log. Algebraic Methods Program. 133: 100872 (2023) - [j46]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). Log. Methods Comput. Sci. 19(4) (2023) - [c60]Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Typed Non-determinism in Functional and Concurrent Calculi. APLAS 2023: 112-132 - [c59]Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho:
Termination in Concurrency, Revisited. PPDP 2023: 3:1-3:14 - [c58]Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre:
Monitoring Blackbox Implementations of Multiparty Session Protocols. RV 2023: 66-85 - [i20]Alen Arslanagic, Jorge A. Pérez, Dan Frumin:
A Minimal Formulation of Session Types. CoRR abs/2301.05301 (2023) - [i19]Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre:
Monitoring Blackbox Implementations of Multiparty Session Protocols. CoRR abs/2306.04204 (2023) - [i18]Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho:
Termination in Concurrency, Revisited. CoRR abs/2308.01165 (2023) - 2022
- [j45]Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda:
Session-based concurrency, declaratively. Acta Informatica 59(1): 1-87 (2022) - [j44]Ornela Dardha, Jorge A. Pérez:
Comparing type systems for deadlock freedom. J. Log. Algebraic Methods Program. 124: 100717 (2022) - [j43]Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez:
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. Proc. ACM Program. Lang. 6(OOPSLA2): 841-869 (2022) - [j42]Bas van den Heuvel, Jorge A. Pérez:
A decentralized analysis of multiparty protocols. Sci. Comput. Program. 222: 102840 (2022) - [j41]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 9(1): 22 (2022) - [j40]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 9(2): 30 (2022) - [j39]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 9(3): 60 (2022) - [j38]Alex C. Keizer, Henning Basold, Jorge A. Pérez:
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. ACM Trans. Program. Lang. Syst. 44(3): 18:1-18:45 (2022) - [c57]Alen Arslanagic, Pavle Subotic, Jorge A. Pérez:
Scalable Typestate Analysis for Low-Latency Environments. IFM 2022: 322-340 - [c56]Carlos Alberto Ramírez Restrepo, Jorge A. Pérez:
Executable Semantics and Type Checking for Session-Based Concurrency in Maude. WRLA@ETAPS 2022: 230-250 - [c55]Bas van den Heuvel, Jorge A. Pérez:
Asynchronous Functional Sessions: Cyclic and Concurrent. EXPRESS/SOS 2022: 75-94 - [i17]Alen Arslanagic, Pavle Subotic, Jorge A. Pérez:
Scalable Typestate Analysis using Bit-Vector Machines. CoRR abs/2201.10627 (2022) - [i16]Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Functions as Processes: The Case of Collapsing Non-determinism. CoRR abs/2205.00680 (2022) - [i15]Bas van den Heuvel, Jorge A. Pérez:
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version). CoRR abs/2208.07644 (2022) - [i14]Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez:
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency. CoRR abs/2209.05421 (2022) - 2021
- [j37]Jorge A. Pérez, Simone Tini:
Preface to Special Issue: EXPRESS/SOS 2018. Inf. Comput. 281: 104670 (2021) - [j36]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On primitives for compensation handling as adaptable processes. J. Log. Algebraic Methods Program. 121: 100675 (2021) - [j35]Claudio Antares Mezzina, Jorge A. Pérez:
Causal Consistency for Reversible Multiparty Protocols. Log. Methods Comput. Sci. 17(4) (2021) - [j34]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 8(4): 22 (2021) - [c54]Alex C. Keizer, Henning Basold, Jorge A. Pérez:
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. ESOP 2021: 375-403 - [c53]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Non-Deterministic Functions as Non-Deterministic Processes. FSCD 2021: 21:1-21:22 - [c52]Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez:
Minimal Session Types for the π-calculus. PPDP 2021: 12:1-12:15 - [c51]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. TYPES 2021: 11:1-11:24 - [c50]Bas van den Heuvel, Jorge A. Pérez:
Deadlock Freedom for Asynchronous and Cyclic Process Networks. ICE 2021: 38-56 - [i13]Bas van den Heuvel, Jorge A. Pérez:
A Decentralized Analysis of Multiparty Protocols. CoRR abs/2101.09038 (2021) - [i12]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). CoRR abs/2104.14759 (2021) - [i11]Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez:
Minimal Session Types for the π-calculus (Extended Version). CoRR abs/2107.10936 (2021) - [i10]Bas van den Heuvel, Jorge A. Pérez:
Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version). CoRR abs/2111.13091 (2021) - [i9]Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez:
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version). CoRR abs/2112.01593 (2021) - 2020
- [j33]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 7(1): 46 (2020) - [j32]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 7(2): 15 (2020) - [j31]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 7(3): 44 (2020) - [c49]Mark Soelman, Vasilios Andrikopoulos, Jorge A. Pérez, Vasileios Theodosiadis, Karel Goense, Arne Rutjes:
Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains. DAPPS 2020: 145-152 - [c48]Bas van den Heuvel, Jorge A. Pérez:
Session Type Systems based on Linear Logic: Classical versus Intuitionistic. PLACES@ETAPS 2020: 1-11 - [i8]Alex C. Keizer, Henning Basold, Jorge A. Pérez:
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. CoRR abs/2011.05712 (2020)
2010 – 2019
- 2019
- [j30]Alen Arslanagic, Jorge A. Pérez, Erik Voogd:
Minimal Session Types (Artifact). Dagstuhl Artifacts Ser. 5(2): 05:1-05:3 (2019) - [j29]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the relative expressiveness of higher-order session processes. Inf. Comput. 268 (2019) - [j28]Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia:
Preface to special issue: ICTAC 2015. Math. Struct. Comput. Sci. 29(1): 1-2 (2019) - [j27]Jorge A. Pérez:
Conference Reports. ACM SIGLOG News 6(1): 40 (2019) - [j26]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 6(3): 6 (2019) - [j25]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 6(4): 23 (2019) - [c47]Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Domain-Aware Session Types. CONCUR 2019: 39:1-39:17 - [c46]Alen Arslanagic, Jorge A. Pérez, Erik Voogd:
Minimal Session Types (Pearl). ECOOP 2019: 23:1-23:28 - [e4]Jorge A. Pérez, Nobuko Yoshida:
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11535, Springer 2019, ISBN 978-3-030-21758-7 [contents] - [e3]Jorge A. Pérez, Jurriaan Rot:
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. EPTCS 300, 2019 [contents] - [i7]Alen Arslanagic, Jorge A. Pérez, Erik Voogd:
Minimal Session Types (Extended Version). CoRR abs/1906.03836 (2019) - [i6]Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Domain-Aware Session Types (Extended Version). CoRR abs/1907.01318 (2019) - 2018
- [j24]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(1): 20 (2018) - [j23]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(2): 57 (2018) - [j22]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(3): 83 (2018) - [j21]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 5(4): 47 (2018) - [c45]Daniele Nantes, Jorge A. Pérez:
Relating Process Languages for Security and Communication Correctness (Extended Abstract). FORTE 2018: 79-100 - [c44]Folkert de Vries, Jorge A. Pérez:
Reversible Session-Based Concurrency in Haskell. TFP 2018: 20-45 - [p1]Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210 - [e2]Jorge A. Pérez, Simone Tini:
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EPTCS 276, 2018 [contents] - [i5]Ornela Dardha, Jorge A. Pérez:
Comparing Type Systems for Deadlock-Freedom. CoRR abs/1810.00635 (2018) - 2017
- [j20]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic bisimulation for higher-order session processes. Acta Informatica 54(3): 271-341 (2017) - [j19]Claudio Antares Mezzina, Jorge A. Pérez:
Reversibility in session-based concurrency: A fresh look. J. Log. Algebraic Methods Program. 90: 2-30 (2017) - [j18]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 4(1): 37 (2017) - [j17]Jorge A. Pérez:
Report on CWI lectures in honor of Adriaan van Wijngaarden. ACM SIGLOG News 4(1): 40-41 (2017) - [j16]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 4(2): 90 (2017) - [j15]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 4(3): 62 (2017) - [c43]Luís Caires, Jorge A. Pérez:
Linearity, Control Effects, and Behavioral Types. ESOP 2017: 229-259 - [c42]Mauricio Cano, Jaime Arias, Jorge A. Pérez:
Session-Based Concurrency, Reactively. FORTE 2017: 74-91 - [c41]Claudio Antares Mezzina, Jorge A. Pérez:
Causally consistent reversible choreographies: a monitors-as-memories approach. PPDP 2017: 127-138 - [c40]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
Efficient compensation handling via subjective updates. SAC 2017: 51-58 - [i4]Claudio Antares Mezzina, Jorge A. Pérez:
Causally Consistent Reversible Choreographies. CoRR abs/1703.06021 (2017) - 2016
- [j14]Cinzia Di Giusto, Jorge A. Pérez:
Event-based run-time adaptation in communication-centric systems. Formal Aspects Comput. 28(4): 531-566 (2016) - [j13]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28(4): 643-667 (2016) - [j12]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. 28(4): 669-696 (2016) - [j11]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 3(1): 73 (2016) - [j10]Jorge A. Pérez:
Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing. ACM SIGLOG News 3(1): 74-77 (2016) - [j9]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 3(2): 78 (2016) - [j8]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 3(3): 77 (2016) - [j7]Jorge A. Pérez:
Conference reports. ACM SIGLOG News 3(4): 47 (2016) - [c39]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
On the Relative Expressiveness of Higher-Order Session Processes. ESOP 2016: 446-475 - [c38]Luís Caires, Jorge A. Pérez:
Multiparty Session Types Within a Canonical Binary Theory, and Beyond. FORTE 2016: 74-95 - [c37]Jorge A. Pérez:
The Challenge of Typed Expressiveness in Concurrency. FORTE 2016: 239-247 - [c36]Claudio Antares Mezzina, Jorge Andrés Pérez:
Reversible Semantics in Session-based Concurrency. ICTCS 2016: 221-226 - [c35]Jaime Arias, Mauricio Cano, Jorge Andrés Pérez:
Towards A Practical Model of Reactive Communication-Centric Software. ICTCS 2016: 227-233 - [c34]Claudio Antares Mezzina, Jorge A. Pérez:
Reversible Sessions Using Monitors. PLACES 2016: 56-64 - [e1]César A. Muñoz, Jorge A. Pérez:
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016 [contents] - 2015
- [j6]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015) - [j5]Cinzia Di Giusto, Jorge A. Pérez:
Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97: 235-265 (2015) - [c33]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Characteristic Bisimulation for Higher-Order Session Processes. CONCUR 2015: 398-411 - [c32]Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez:
Declarative interpretations of session-based concurrency. PPDP 2015: 67-78 - [c31]Cinzia Di Giusto, Jorge A. Pérez:
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. WS-FM 2015: 67-85 - [c30]Ornela Dardha, Jorge A. Pérez:
Comparing Deadlock-Free Session Typed Processes. EXPRESS/SOS 2015: 1-15 - [c29]Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On Compensation Primitives as Adaptable Processes. EXPRESS/SOS 2015: 16-30 - [c28]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
A Typed Model for Dynamic Authorizations. PLACES 2015: 73-84 - [i3]Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida:
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. CoRR abs/1502.02585 (2015) - [i2]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015) - 2014
- [j4]Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239: 254-302 (2014) - [c27]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic Role Authorization in Multiparty Conversations. BEAT 2014: 1-8 - [c26]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT 2014: 9-18 - [i1]Luís Caires, Jorge A. Pérez:
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions. CoRR abs/1407.4242 (2014) - 2013
- [c25]Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho:
Behavioral Polymorphism and Parametricity in Session-Based Communication. ESOP 2013: 330-349 - [c24]Cinzia Di Giusto, Jorge A. Pérez:
Disciplined structured communications with consistent runtime adaptation. SAC 2013: 1913-1918 - [c23]Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro:
Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14 - [c22]Cinzia Di Giusto, Jorge A. Pérez:
Session Types with Runtime Adaptation: Overview and Examples. PLACES 2013: 21-32 - [c21]Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz:
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. DCM 2013: 57-72 - 2012
- [j3]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable processes. Log. Methods Comput. Sci. 8(4) (2012) - [c20]Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho:
Linear Logical Relations for Session-Based Concurrency. ESOP 2012: 539-558 - [c19]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Towards the Verification of Adaptable Processes. ISoLA (1) 2012: 269-283 - 2011
- [j2]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209(2): 198-226 (2011) - [c18]Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão:
Type-Based Access Control in Data-Centric Systems. ESOP 2011: 136-155 - [c17]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105 - [c16]Hugo A. López, Jorge A. Pérez:
Time and Exceptional Behavior in Multiparty Structured Interactions. WS-FM 2011: 48-63 - 2010
- [j1]Jorge A. Pérez:
Higher-Order Concurrency: Expressiveness and Decidability. Bull. EATCS 101: 92-124 (2010) - [c15]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Steps on the Road to Component Evolvability.