2 papers
cs.PL2015
Type-Based Analysis for Session Inference
Carlo Spaccasassi, Vasileios Koutavas
We propose a type-based analysis to infer the session protocols of channels in an ML-like concurrent functional language. Combining and extending well-known techniques, we develop…
cs.PL2013
Towards Efficient Abstractions for Concurrent Consensus
Carlo Spaccasassi, Vasileios Koutavas
Consensus is an often occurring problem in concurrent and distributed programming. We present a programming language with simple semantics and build-in support for consensus in the…