Reversing algebraic process calculi (0)

by I Phillips, I Ulidowski
Venue:J. Log. Algebr. Program