31 citations · 132 across the 17 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 4 cited
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus
Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti
We study the Pi-calculus, enriched with pairing and non-blocking input, and define a notion of type assignment that uses the type constructor "arrow". We encode the circuits of the…
cs.DC2011
Reversibility in Massive Concurrent Systems
Luca Cardelli, Cosimo Laneve
Reversing a (forward) computation history means undoing the history. In concurrent systems, undoing the history is not performed in a deterministic way but in a causally consistent…