There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-642-23216-9

ISBN (Electronic): 978-3-642-23217-6

Publication date (Print): 2011

DOI: 10.1007/978-3-642-23217-6

SO-VID: 2ae62fc9-f11f-470b-bd2c-c94c5ad2ae41

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Satisfiability of ATL with strategy contexts
Authors: Francois Laroussinie, Nicolas Markey
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Authors: Marco Bernardo, Michele Loreti, Rocco De Nicola
Modularity and Openness in Modeling Multi-Agent Systems
Authors: Artur Mȩski, Wojciech Jamroga, Maciej Szreter

See all cited by

CONCUR 2011 – Concurrency Theory

Read this book at