The following pages link to Jorge A. Pérez (Q315278):
Displaying 38 items.
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- On primitives for compensation handling as adaptable processes (Q2043807) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Timed Concurrent Constraint Programming for Analysing Biological Systems (Q2864201) (← links)
- Linear Logical Relations for Session-Based Concurrency (Q2892750) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Type-Based Access Control in Data-Centric Systems (Q3000577) (← links)
- (Q3059188) (← links)
- On the Expressiveness of Forwarding in Higher-Order Communication (Q3393405) (← links)
- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Q3587459) (← links)
- Adaptable processes (Q4899113) (← links)
- (Q4994975) (← links)
- (Q5013868) (← links)
- (Q5013869) (← links)
- (Q5028420) (← links)
- Session-Based Concurrency, Reactively (Q5082191) (← links)
- Behavioral Polymorphism and Parametricity in Session-Based Communication (Q5326294) (← links)
- (Q5357719) (← links)
- A Declarative Framework for Security: Secure Concurrent Constraint Programming (Q5449632) (← links)
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming (Q5504690) (← links)
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (Q5504691) (← links)
- (Q5875401) (← links)
- Relating Process Languages for Security and Communication Correctness (Extended Abstract) (Q5881535) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- Minimal session types for the \(\pi\)-calculus (Q6124244) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
