Operational semantics of reversibility in process algebra (2005)

by I Phillips, I Ulidowski
Venue:Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA ’05), number NS-05-3 in BRICS Notes Series