31 citations · 109 across the 18 of their papers we have counts for
4 papers · 1 filter
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou +7
Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security a…
On Compensation Primitives as Adaptable Processes
Jovana Dedeić, Jovanka Pantović, Jorge A. Pérez
We compare mechanisms for compensation handling and dynamic update in calculi for concurrency. These mechanisms are increasingly relevant in the specification of reliable communica…
Comparing Deadlock-Free Session Typed Processes
Ornela Dardha, Jorge A. Pérez
Besides respecting prescribed protocols, communication-centric systems should never "get stuck". This requirement has been expressed by liveness properties such as progress or (dea…
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
This work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant s…