Speaker
Maurice Laveaux
Eindhoven University of Technology, Netherlands
Talks at this conference:
Fri, 10:00 | Decompositional Branching Bisimulation Minimisation of Monolithic Processes |
Speaker
Eindhoven University of Technology, Netherlands
Fri, 10:00 | Decompositional Branching Bisimulation Minimisation of Monolithic Processes |