Extensive Games as Process Models

15 years 2 months ago

Download staff.science.uva.nl

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 how to fit existing modal notions into this new setting.

Johan van Benthem

Real-time Traffic

Interactive Process Models | JOLLI 2002 | Modal Languages | Modal Notions |

claim paper

» Software Specification of MERTIS Modifiable Extensible RealTime Interactive Simulation Sys...

» On Multiagent Petri Net Models for Computing Extensive Finite Games

» ReactiveML a reactive extension to ML

» Gametheoretic analysis of cooperation among supply chain agents Review and extensions

» Design patterns for games

» Solving Cooperative Reliability Games

» A GameTheoretic Model for Distributed Programming by Contract

» Modeling billiards games

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JOLLI
Authors	Johan van Benthem

Comments (0)

Sciweavers

Extensive Games as Process Models

Interactive Process Models | JOLLI 2002 | Modal Languages | Modal Notions |

Explore & Download

Productivity Tools

Sciweavers