97
Voted
JOLLI
2002
15 years 2 months ago
2002
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 ...