26 citations · 45 across the 7 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 9 cited
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…
cs.LO2015★ 3 cited
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…