Skip to content

Rigid Families for the Reversible π-Calculus.

Ioana Cristescu, Jean Krivine, Daniele Varacca

VenueCRC
Year2016
ProceedingsRC

Browse the full RC paper archive.