24 citations · 55 across the 8 of their papers we have counts for
3 papers · 1 filter
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Ilaria Castellani, Alceste Scalas
This volume contains the proceedings of PLACES 2023, the 14th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLAC…
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…
Reactive concurrent programming revisited
Roberto Amadio, Gerard Boudol, Ilaria Castellani +1
In this note we revisit the so-called reactive programming style, which evolves from the synchronous programming model of the Esterel language by weakening the assumption that the…