In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...