A Typed Model for Dynamic Authorizations ⬇️

article

A decentralized analysis of multiparty protocols

scientific article published in 2022

Adaptable Processes (Extended Abstract)

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

article by Cinzia Di Giusto et al published 2016 in Lecture Notes in Computer Science

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

Behavioral Polymorphism and Parametricity in Session-Based Communication

article by Luís Caires et al published 2013 in Lecture Notes in Computer Science

Characteristic bisimulation for higher-order session processes

scientific article published on 24 December 2016

Combining behavioural types with security analysis ⬇️

Comparing Deadlock-Free Session Typed Processes ⬇️

Declarative interpretations of session-based concurrency

article published in 2015

Disciplined structured communications with consistent runtime adaptation

Disciplined structured communications with disciplined runtime adaptation

article published in 2015

Dynamic Role Authorization in Multiparty Conversations ⬇️

Dynamic role authorization in multiparty conversations

Efficient compensation handling via subjective updates

scholarly article published 2017

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

Linear Logical Relations for Session-Based Concurrency

article

Linear logical relations and observational equivalences for session-based concurrency

article

Linearity, Control Effects, and Behavioral Types

Multiparty Session Types Within a Canonical Binary Theory, and Beyond

Non-determinism and Probabilities in Timed Concurrent Constraint Programming

On Compensation Primitives as Adaptable Processes ⬇️

On the Expressiveness of Forwarding in Higher-Order Communication

article by Cinzia Di Giusto et al published 2009 in Lecture Notes in Computer Science

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

article by Ivan Lanese et al published 2010 in Lecture Notes in Computer Science

On the Relative Expressiveness of Higher-Order Session Processes

article published in 2016

On the expressiveness and decidability of higher-order process calculi

article published in 2011

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

article by Daniele Nantes & Jorge A. Pérez published 2018 in Lecture Notes in Computer Science

Reversibility in session-based concurrency: A fresh look

Reversible Sessions Using Monitors ⬇️

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

Self-adaptation and secure information flow in multiparty communications

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

scientific article published in 2022

Session Types with Runtime Adaptation: Overview and Examples

Session-Based Concurrency, Reactively

Steps on the Road to Component Evolvability

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

The Challenge of Typed Expressiveness in Concurrency

Time and Exceptional Behavior in Multiparty Structured Interactions

Timed Concurrent Constraint Programming for Analysing Biological Systems

Towards Formal Interaction-Based Models of Grid Computing Infrastructures ⬇️

Towards Global and Local Types for Adaptation

Towards the Verification of Adaptable Processes

Type-Based Access Control in Data-Centric Systems