Speaker
Mark Bouwman
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 |