Reversing Algebraic Process Calculi.

Iain Phillips, Irek Ulidowski

Browse the full FOSSACS paper archive.