Rigid Families for CCS and the π-calculus.

Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca

Browse the full ICTAC paper archive.