Jorge A. Pérez

According to our database, Jorge A. Pérez authored at least 98 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Comparing Session Type Systems derived from Linear Logic.

Bas van den Heuvel, Jorge A. Pérez

CoRR, 2024

2023

Bit-Vector Typestate Analysis.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

Formal Aspects Comput., September, 2023

Session-based concurrency in Maude: Executable semantics and type checking.

Carlos Alberto Ramírez Restrepo, Juan C. Jaramillo, Jorge A. Pérez

J. Log. Algebraic Methods Program., June, 2023

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version).

Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Log. Methods Comput. Sci., 2023

A Minimal Formulation of Session Types.

Alen Arslanagic, Jorge A. Pérez, Dan Frumin

CoRR, 2023

Monitoring Blackbox Implementations of Multiparty Session Protocols.

Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Termination in Concurrency, Revisited.

Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Typed Non-determinism in Functional and Concurrent Calculi.

Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.

Alex C. Keizer, Henning Basold, Jorge A. Pérez

ACM Trans. Program. Lang. Syst., 2022

A decentralized analysis of multiparty protocols.

Bas van den Heuvel, Jorge A. Pérez

Sci. Comput. Program., 2022

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency.

Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez

Proc. ACM Program. Lang., 2022

Comparing type systems for deadlock freedom.

Ornela Dardha, Jorge A. Pérez

J. Log. Algebraic Methods Program., 2022

Asynchronous Functional Sessions: Cyclic and Concurrent.

Bas van den Heuvel, Jorge A. Pérez

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version).

Bas van den Heuvel, Jorge A. Pérez

CoRR, 2022

Functions as Processes: The Case of Collapsing Non-determinism.

Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

CoRR, 2022

Scalable Typestate Analysis using Bit-Vector Machines.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

CoRR, 2022

Session-based concurrency, declaratively.

Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda

Acta Informatica, 2022

Executable Semantics and Type Checking for Session-Based Concurrency in Maude.

Carlos Alberto Ramírez Restrepo, Jorge A. Pérez

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Scalable Typestate Analysis for Low-Latency Environments.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Causal Consistency for Reversible Multiparty Protocols.

Claudio Antares Mezzina, Jorge A. Pérez

Log. Methods Comput. Sci., 2021

On primitives for compensation handling as adaptable processes.

Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez

J. Log. Algebraic Methods Program., 2021

Preface to Special Issue: EXPRESS/SOS 2018.

Jorge A. Pérez, Simone Tini

Inf. Comput., 2021

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version).

Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

CoRR, 2021

Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version).

Bas van den Heuvel, Jorge A. Pérez

CoRR, 2021

Deadlock Freedom for Asynchronous and Cyclic Process Networks.

Bas van den Heuvel, Jorge A. Pérez

Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021

Minimal Session Types for the π-calculus (Extended Version).

Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez

CoRR, 2021

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes.

Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Minimal Session Types for the π-calculus.

Alen Arslanagic, Anda-Amelia Palamariuc, Jorge A. Pérez

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Non-Deterministic Functions as Non-Deterministic Processes.

Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.

Alex C. Keizer, Henning Basold, Jorge A. Pérez

Proceedings of the Programming Languages and Systems, 2021

2020

Session Type Systems based on Linear Logic: Classical versus Intuitionistic.

Bas van den Heuvel, Jorge A. Pérez

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains.

Mark Soelman, Vasilios Andrikopoulos, Jorge A. Pérez, Vasileios Theodosiadis, Karel Goense, Arne Rutjes

Proceedings of the 2nd IEEE International Conference on Decentralized Applications and Infrastructures, 2020

2019

Preface to special issue: ICTAC 2015.

Martin Leucker, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Math. Struct. Comput. Sci., 2019

On the relative expressiveness of higher-order session processes.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

Inf. Comput., 2019

Minimal Session Types (Artifact).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

Dagstuhl Artifacts Ser., 2019

Domain-Aware Session Types (Extended Version).

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

CoRR, 2019

Minimal Session Types (Extended Version).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

CoRR, 2019

Minimal Session Types (Pearl).

Alen Arslanagic, Jorge A. Pérez, Erik Voogd

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Domain-Aware Session Types.

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Runtime Verification for Decentralised and Distributed Systems.

Adrian Francalanza, Jorge A. Pérez, César Sánchez

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Conference reports.

Jorge A. Pérez

ACM SIGLOG News, 2018

Reversible Session-Based Concurrency in Haskell.

Folkert de Vries, Jorge A. Pérez

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Relating Process Languages for Security and Communication Correctness (Extended Abstract).

Daniele Nantes, Jorge A. Pérez

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Report on CWI lectures in honor of Adriaan van Wijngaarden.

Jorge A. Pérez

ACM SIGLOG News, 2017

Reversibility in session-based concurrency: A fresh look.

Claudio Antares Mezzina, Jorge A. Pérez

J. Log. Algebraic Methods Program., 2017

Causally Consistent Reversible Choreographies.

Claudio Antares Mezzina, Jorge A. Pérez

CoRR, 2017

Characteristic bisimulation for higher-order session processes.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

Acta Informatica, 2017

Efficient compensation handling via subjective updates.

Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez

Proceedings of the Symposium on Applied Computing, 2017

Causally consistent reversible choreographies: a monitors-as-memories approach.

Claudio Antares Mezzina, Jorge A. Pérez

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Session-Based Concurrency, Reactively.

Mauricio Cano, Jaime Arias, Jorge A. Pérez

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Linearity, Control Effects, and Behavioral Types.

Luís Caires, Jorge A. Pérez

Proceedings of the Programming Languages and Systems, 2017

2016

Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing.

Jorge A. Pérez

ACM SIGLOG News, 2016

Event-based run-time adaptation in communication-centric systems.

Cinzia Di Giusto, Jorge A. Pérez

Formal Aspects Comput., 2016

Self-adaptation and secure information flow in multiparty communications.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

Formal Aspects Comput., 2016

Reversible Sessions Using Monitors.

Claudio Antares Mezzina, Jorge A. Pérez

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Reversible Semantics in Session-based Concurrency.

Claudio Antares Mezzina, Jorge Andrés Pérez

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Towards A Practical Model of Reactive Communication-Centric Software.

Jaime Arias, Mauricio Cano, Jorge Andrés Pérez

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

The Challenge of Typed Expressiveness in Concurrency.

Jorge A. Pérez

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Multiparty Session Types Within a Canonical Binary Theory, and Beyond.

Luís Caires, Jorge A. Pérez

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Disciplined structured communications with disciplined runtime adaptation.

Cinzia Di Giusto, Jorge A. Pérez

Sci. Comput. Program., 2015

Combining behavioural types with security analysis.

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

J. Log. Algebraic Methods Program., 2015

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

CoRR, 2015

A Typed Model for Dynamic Authorizations.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

On Compensation Primitives as Adaptable Processes.

Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Comparing Deadlock-Free Session Typed Processes.

Ornela Dardha, Jorge A. Pérez

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems.

Cinzia Di Giusto, Jorge A. Pérez

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Declarative interpretations of session-based concurrency.

Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

2014

Linear logical relations and observational equivalences for session-based concurrency.

Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho

Inf. Comput., 2014

Dynamic Role Authorization in Multiparty Conversations.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions.

Luís Caires, Jorge A. Pérez

CoRR, 2014

2013

Towards Formal Interaction-Based Models of Grid Computing Infrastructures.

Carlos Alberto Ramírez Restrepo, Jorge A. Pérez, Jesús Aranda, Juan Francisco Díaz

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

Session Types with Runtime Adaptation: Overview and Examples.

Cinzia Di Giusto, Jorge A. Pérez

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

Towards Global and Local Types for Adaptation.

Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro

Proceedings of the Software Engineering and Formal Methods, 2013

Disciplined structured communications with consistent runtime adaptation.

Cinzia Di Giusto, Jorge A. Pérez

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Behavioral Polymorphism and Parametricity in Session-Based Communication.

Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

Proceedings of the Programming Languages and Systems, 2013

2012

Adaptable processes

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

Log. Methods Comput. Sci., 2012

Towards the Verification of Adaptable Processes.

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Linear Logical Relations for Session-Based Concurrency.

Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho

Proceedings of the Programming Languages and Systems, 2012

2011

On the expressiveness and decidability of higher-order process calculi.

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

Inf. Comput., 2011

Time and Exceptional Behavior in Multiparty Structured Interactions.

Hugo A. López, Jorge A. Pérez

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Adaptable Processes (Extended Abstract).

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

Proceedings of the Formal Techniques for Distributed Systems, 2011

Type-Based Access Control in Data-Centric Systems.

Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão

Proceedings of the Programming Languages and Systems, 2011

2010

Higher-Order Concurrency: Expressiveness and Decidability.

Jorge A. Pérez

Bull. EATCS, 2010

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Steps on the Road to Component Evolvability.

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Towards a Unified Framework for Declarative Structured Communications

Hugo A. López, Carlos Olarte, Jorge A. Pérez

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

On the Expressiveness of Polyadicity in Higher-Order Process Calculi.

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi.

Cinzia Di Giusto, Jorge A. Pérez

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

On the Expressiveness of Forwarding in Higher-Order Communication.

Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

Proceedings of the Theoretical Aspects of Computing, 2009

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.

Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Non-determinism and Probabilities in Timed Concurrent Constraint Programming.

Jorge A. Pérez, Camilo Rueda

Proceedings of the Logic Programming, 24th International Conference, 2008

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming.

Jesús Aranda, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the Logic Programming, 24th International Conference, 2008

2006

Timed Concurrent Constraint Programming for Analysing Biological Systems.

Julian Gutierrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

A Declarative Framework for Security: Secure Concurrent Constraint Programming.

Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Implementing an Abstraction Framework for Soft Constraints.

Alberto Delgado, Jorge Andrés Pérez, Camilo Rueda

Proceedings of the Abstraction, 2005

2004

An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine.

Alberto Delgado, Jorge Andrés Pérez, Gustavo Pabón, Rafael Jordan, Juan Francisco Díaz, Camilo Rueda

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004

Implementing Semiring-Based Constraints Using Mozart.

Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004