Skip to content

Event Structure Semantics of (controlled) Reversible CCS.

Eva Graversen, Iain Phillips, Nobuko Yoshida

VenueCRC
Year2018
ProceedingsRC

Browse the full RC paper archive.