Jorge A. Pérez

Available identifiers

zbMath Open perez.jorge-aWikidataQ102398281 ScholiaQ102398281MaRDI QIDQ315278

List of research outcomes

Publication	Date of Publication	Type
Minimal session types for the \(\pi\)-calculus	2024-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q6190869	2024-02-06	Paper
Reversible session-based concurrency in Haskell	2023-12-01	Paper
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)	2023-10-23	Paper
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)	2023-06-23	Paper
Session-based concurrency in Maude: executable semantics and type checking	2023-06-19	Paper
Relating Process Languages for Security and Communication Correctness (Extended Abstract)	2023-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5875401	2023-02-03	Paper
Session-Based Concurrency, Reactively	2022-06-15	Paper
Session-based concurrency, declaratively	2022-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q5028420	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5013868	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q5013869	2021-12-03	Paper
Comparing type systems for deadlock freedom	2021-11-24	Paper
Session coalgebras: a coalgebraic view on session types and communication protocols	2021-10-18	Paper
On primitives for compensation handling as adaptable processes	2021-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4994975	2021-06-22	Paper
On the relative expressiveness of higher-order session processes	2019-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q5357719	2017-09-12	Paper
Reversibility in session-based concurrency: a fresh look	2017-07-04	Paper
Characteristic bisimulation for higher-order session processes	2017-06-14	Paper
Linearity, Control Effects, and Behavioral Types	2017-05-19	Paper
Multiparty Session Types Within a Canonical Binary Theory, and Beyond	2016-10-19	Paper
Event-based run-time adaptation in communication-centric systems	2016-09-20	Paper
Dynamic role authorization in multiparty conversations	2016-09-20	Paper
Self-adaptation and secure information flow in multiparty communications	2016-09-20	Paper
On the Relative Expressiveness of Higher-Order Session Processes	2016-04-26	Paper
Combining behavioural types with security analysis	2015-11-10	Paper
Linear logical relations and observational equivalences for session-based concurrency	2014-11-28	Paper
Timed Concurrent Constraint Programming for Analysing Biological Systems	2013-12-06	Paper
Behavioral Polymorphism and Parametricity in Session-Based Communication	2013-08-05	Paper
Adaptable processes	2013-01-07	Paper
Linear Logical Relations for Session-Based Concurrency	2012-06-22	Paper
Type-Based Access Control in Data-Centric Systems	2011-05-19	Paper
On the expressiveness and decidability of higher-order process calculi	2011-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q3059188	2010-12-08	Paper
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi	2010-09-07	Paper
On the Expressiveness of Forwarding in Higher-Order Communication	2009-08-20	Paper
Non-determinism and Probabilities in Timed Concurrent Constraint Programming	2009-01-22	Paper
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming	2009-01-22	Paper
A Declarative Framework for Security: Secure Concurrent Constraint Programming	2008-03-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jorge A. Pérez