Process Equivalence Problems as Energy Games.

Benjamin Bisping

Browse the full CAV paper archive.