Speaker
Tim Willemse
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 |