FACS 2022

Speaker

Tim Willemse

Eindhoven University of Technology, Netherlands

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

 Overview