Event Structures for the Reversible Early Internal π-Calculus.

Eva Graversen, Iain Phillips, Nobuko Yoshida

Browse the full RC paper archive.