Sciweavers

JOLLI
2002
73views more  JOLLI 2002»
14 years 3 days ago
Extensive Games as Process Models
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 ...
Johan van Benthem