Jorge A. Pérez

139 papers A* 1A 8B 11C 10Misc 2Journal 76Unranked 27
YearRankTypeTitle / Venue / Authors
2025 J jnl
Comparing session type systems derived from linear logic.
J. Log. Algebraic Methods Program.
Bas van den Heuvel, Jorge A. Pérez
2025 J jnl
Contrasting Deadlock-Free Session Processes (Extended Version).
CoRR
Juan C. Jaramillo, Jorge A. Pérez
2025 A conf
Contrasting Deadlock-Free Session Processes.
ECOOP
Juan C. Jaramillo, Jorge A. Pérez
2025 J jnl
Deadlock-free Context-free Session Types.
CoRR
Andreia Mordido, Jorge A. Pérez
2025 J jnl
Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020.
Inf. Comput.
Ornela Dardha, Jorge A. Pérez, Jurriaan Rot
2024 — conf
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing.
ICE
Bas van den Heuvel, Jorge A. Pérez
2024 B conf
Around Classical and Intuitionistic Linear Processes.
CONCUR
Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
2024 J jnl
Around Classical and Intuitionistic Linear Processes.
CoRR
Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
2024 J jnl
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks.
Log. Methods Comput. Sci.
Bas van den Heuvel, Jorge A. Pérez
2024 J jnl
Comparing Session Type Systems derived from Linear Logic.
CoRR
Bas van den Heuvel, Jorge A. Pérez
2024 J jnl
Minimal session types for the π-calculus.
Inf. Comput.
Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc
2024 B conf
Typed Non-determinism in Concurrent Calculi: The Eager Way.
MFPS
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus, Jorge A. Pérez
2023 J jnl
A Minimal Formulation of Session Types.
CoRR
Alen Arslanagic, Jorge A. Pérez, Dan Frumin
2023 J jnl
Bit-Vector Typestate Analysis.
Formal Aspects Comput.
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
2023 B conf
Monitoring Blackbox Implementations of Multiparty Session Protocols.
RV
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
2023 J jnl
Monitoring Blackbox Implementations of Multiparty Session Protocols.
CoRR
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
2023 J jnl
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version).
Log. Methods Comput. Sci.
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2023 J jnl
Session-based concurrency in Maude: Executable semantics and type checking.
J. Log. Algebraic Methods Program.
Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez
2023 C conf
Termination in Concurrency, Revisited.
PPDP
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
2023 J jnl
Termination in Concurrency, Revisited.
CoRR
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
2023 B conf
Typed Non-determinism in Functional and Concurrent Calculi.
APLAS
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2022 J jnl
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency.
CoRR
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
2022 J jnl
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency.
Proc. ACM Program. Lang.
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
2022 J jnl
A decentralized analysis of multiparty protocols.
Sci. Comput. Program.
Bas van den Heuvel, Jorge A. Pérez
2022 J jnl
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version).
CoRR
Bas van den Heuvel, Jorge A. Pérez
2022 — conf
Asynchronous Functional Sessions: Cyclic and Concurrent.
EXPRESS/SOS
Bas van den Heuvel, Jorge A. Pérez
2022 J jnl
Comparing type systems for deadlock freedom.
J. Log. Algebraic Methods Program.
Ornela Dardha, Jorge A. Pérez
2022 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2022 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2022 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2022 — conf
Executable Semantics and Type Checking for Session-Based Concurrency in Maude.
WRLA
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez
2022 J jnl
Functions as Processes: The Case of Collapsing Non-determinism.
CoRR
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2022 B conf
Scalable Typestate Analysis for Low-Latency Environments.
IFM
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
2022 J jnl
Scalable Typestate Analysis using Bit-Vector Machines.
CoRR
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
2022 J jnl
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.
ACM Trans. Program. Lang. Syst.
Alex C. Keizer, Henning Basold, Jorge A. Pérez
2022 J jnl
Session-based concurrency, declaratively.
Acta Informatica
Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda
2021 J jnl
A Decentralized Analysis of Multiparty Protocols.
CoRR
Bas van den Heuvel, Jorge A. Pérez
2021 J jnl
Causal Consistency for Reversible Multiparty Protocols.
Log. Methods Comput. Sci.
Claudio Antares Mezzina, Jorge A. Pérez
2021 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2021 J jnl
Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version).
CoRR
Bas van den Heuvel, Jorge A. Pérez
2021 — conf
Deadlock Freedom for Asynchronous and Cyclic Process Networks.
ICE
Bas van den Heuvel, Jorge A. Pérez
2021 J jnl
Minimal Session Types for the π-calculus (Extended Version).
CoRR
Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez
2021 C conf
Minimal Session Types for the π-calculus.
PPDP
Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez
2021 J jnl
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version).
CoRR
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 B conf
Non-Deterministic Functions as Non-Deterministic Processes.
FSCD
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 J jnl
On primitives for compensation handling as adaptable processes.
J. Log. Algebraic Methods Program.
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
2021 J jnl
Preface to Special Issue: EXPRESS/SOS 2018.
Inf. Comput.
Jorge A. Pérez, Simone Tini
2021 A conf
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.
ESOP
Alex C. Keizer, Henning Basold, Jorge A. Pérez
2021 J jnl
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version).
CoRR
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 — conf
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes.
TYPES
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2020 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2020 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2020 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2020 — conf
Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains.
DAPPS
Mark Soelman, Vasilios Andrikopoulos, Jorge A. Pérez, Vasileios Theodosiadis, Karel Goense, Arne Rutjes
2020 J jnl
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.
CoRR
Alex C. Keizer, Henning Basold, Jorge A. Pérez
2020 — conf
Session Type Systems based on Linear Logic: Classical versus Intuitionistic.
PLACES@ETAPS
Bas van den Heuvel, Jorge A. Pérez
2019 J jnl
Conference Reports.
ACM SIGLOG News
Jorge A. Pérez
2019 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2019 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2019 J jnl
Domain-Aware Session Types (Extended Version).
CoRR
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
2019 B conf
Domain-Aware Session Types.
CONCUR
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
2019 C ed.
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
FORTE
Jorge A. Pérez, Nobuko Yoshida
2019 J jnl
Minimal Session Types (Artifact).
Dagstuhl Artifacts Ser.
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
2019 J jnl
Minimal Session Types (Extended Version).
CoRR
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
2019 A conf
Minimal Session Types (Pearl).
ECOOP
Alen Arslanagic, Jorge A. Pérez, Erik Voogd
2019 J jnl
On the relative expressiveness of higher-order session processes.
Inf. Comput.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2019 J jnl
Preface to special issue: ICTAC 2015.
Math. Struct. Comput. Sci.
Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
2019 — ed.
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.
EXPRESS/SOS
Jorge A. Pérez, Jurriaan Rot
2018 J jnl
Comparing Type Systems for Deadlock-Freedom.
CoRR
Ornela Dardha, Jorge A. Pérez
2018 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2018 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2018 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2018 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2018 — ed.
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.
EXPRESS/SOS
Jorge A. Pérez, Simone Tini
2018 C conf
Relating Process Languages for Security and Communication Correctness (Extended Abstract).
FORTE
Daniele Nantes, Jorge A. Pérez
2018 — conf
Reversible Session-Based Concurrency in Haskell.
TFP
Folkert de Vries, Jorge A. Pérez
2018 — ch.
Runtime Verification for Decentralised and Distributed Systems.
Lectures on Runtime Verification
Adrian Francalanza, Jorge A. Pérez, César Sánchez
2017 J jnl
Causally Consistent Reversible Choreographies.
CoRR
Claudio Antares Mezzina, Jorge A. Pérez
2017 C conf
Causally consistent reversible choreographies: a monitors-as-memories approach.
PPDP
Claudio Antares Mezzina, Jorge A. Pérez
2017 J jnl
Characteristic bisimulation for higher-order session processes.
Acta Informatica
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2017 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2017 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2017 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2017 Misc conf
Efficient compensation handling via subjective updates.
SAC
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
2017 A conf
Linearity, Control Effects, and Behavioral Types.
ESOP
Luís Caires, Jorge A. Pérez
2017 J jnl
Report on CWI lectures in honor of Adriaan van Wijngaarden.
ACM SIGLOG News
Jorge A. Pérez
2017 J jnl
Reversibility in session-based concurrency: A fresh look.
J. Log. Algebraic Methods Program.
Claudio Antares Mezzina, Jorge A. Pérez
2017 C conf
Session-Based Concurrency, Reactively.
FORTE
Mauricio Cano, Jaime Arias, Jorge A. Pérez
2016 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2016 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2016 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2016 J jnl
Conference reports.
ACM SIGLOG News
Jorge A. Pérez
2016 J jnl
Dynamic role authorization in multiparty conversations.
Formal Aspects Comput.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2016 J jnl
Event-based run-time adaptation in communication-centric systems.
Formal Aspects Comput.
Cinzia Di Giusto, Jorge A. Pérez
2016 C conf
Multiparty Session Types Within a Canonical Binary Theory, and Beyond.
FORTE
Luís Caires, Jorge A. Pérez
2016 A conf
On the Relative Expressiveness of Higher-Order Session Processes.
ESOP
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2016 — ed.
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015.
DCM
César A. Muñoz, Jorge A. Pérez
2016 J jnl
Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing.
ACM SIGLOG News
Jorge A. Pérez
2016 — conf
Reversible Sessions Using Monitors.
PLACES
Claudio Antares Mezzina, Jorge A. Pérez
2016 J jnl
Self-adaptation and secure information flow in multiparty communications.
Formal Aspects Comput.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2016 C conf
The Challenge of Typed Expressiveness in Concurrency.
FORTE
Jorge A. Pérez
2015 — conf
A Typed Model for Dynamic Authorizations.
PLACES
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2015 — conf
An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems.
WS-FM
Cinzia Di Giusto, Jorge A. Pérez
2015 B conf
Characteristic Bisimulation for Higher-Order Session Processes.
CONCUR
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2015 J jnl
Combining behavioural types with security analysis.
CoRR
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
2015 J jnl
Combining behavioural types with security analysis.
J. Log. Algebraic Methods Program.
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
2015 — conf
Comparing Deadlock-Free Session Typed Processes.
EXPRESS/SOS
Ornela Dardha, Jorge A. Pérez
2015 J jnl
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.
CoRR
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
2015 C conf
Declarative interpretations of session-based concurrency.
PPDP
Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez
2015 J jnl
Disciplined structured communications with disciplined runtime adaptation.
Sci. Comput. Program.
Cinzia Di Giusto, Jorge A. Pérez
2015 — conf
On Compensation Primitives as Adaptable Processes.
EXPRESS/SOS
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez
2014 J jnl
A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions.
CoRR
Luís Caires, Jorge A. Pérez
2014 — conf
Dynamic Role Authorization in Multiparty Conversations.
BEAT
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2014 J jnl
Linear logical relations and observational equivalences for session-based concurrency.
Inf. Comput.
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
2014 — conf
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.
BEAT
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2013 A conf
Behavioral Polymorphism and Parametricity in Session-Based Communication.
ESOP
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
2013 Misc conf
Disciplined structured communications with consistent runtime adaptation.
SAC
Cinzia Di Giusto, Jorge A. Pérez
2013 — conf
Session Types with Runtime Adaptation: Overview and Examples.
PLACES
Cinzia Di Giusto, Jorge A. Pérez
2013 — conf
Towards Formal Interaction-Based Models of Grid Computing Infrastructures.
DCM
Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz
2013 — conf
Towards Global and Local Types for Adaptation.
SEFM Workshops
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
2012 J jnl
Adaptable processes
Log. Methods Comput. Sci.
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2012 A conf
Linear Logical Relations for Session-Based Concurrency.
ESOP
Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho
2012 — conf
Towards the Verification of Adaptable Processes.
ISoLA (1)
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2011 — conf
Adaptable Processes (Extended Abstract).
FMOODS/FORTE
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2011 J jnl
On the expressiveness and decidability of higher-order process calculi.
Inf. Comput.
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2011 — conf
Time and Exceptional Behavior in Multiparty Structured Interactions.
WS-FM
Hugo A. López, Jorge A. Pérez
2011 A conf
Type-Based Access Control in Data-Centric Systems.
ESOP
Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
2010 J jnl
Higher-Order Concurrency: Expressiveness and Decidability.
Bull. EATCS
Jorge A. Pérez
2010 — conf
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.
ICALP (2)
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2010 — conf
Steps on the Road to Component Evolvability.
FACS
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2009 B conf
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.
ICLP
Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
2009 — conf
Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi.
ICTCS
Cinzia Di Giusto, Jorge A. Pérez
2009 C conf
On the Expressiveness of Forwarding in Higher-Order Communication.
ICTAC
Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2009 — conf
On the Expressiveness of Polyadicity in Higher-Order Process Calculi.
ICTCS
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2009 — conf
Towards a Unified Framework for Declarative Structured Communications
PLACES
Hugo A. López, Carlos Olarte, Jorge A. Pérez
2008 B conf
Non-determinism and Probabilities in Timed Concurrent Constraint Programming.
ICLP
Jorge A. Pérez, Camilo Rueda
2008 A* conf
On the Expressiveness and Decidability of Higher-Order Process Calculi.
LICS
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2008 B conf
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.
ICLP
Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
2006 — conf
Timed Concurrent Constraint Programming for Analysing Biological Systems.
MeCBIC@ICALP
Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia