FACS 2022

Speaker

Mark Bouwman

Eindhoven, University of Technology, Netherlands

Talks at this conference:
 Fri, 10:00 Decompositional Branching Bisimulation Minimisation of Monolithic Processes

 Overview