Reversing algebraic process calculi (0)

by I C C Phillips, I Ulidowski
Venue:JLAP