12 Modal mu-calculi

edited_book

Author(s): Julian Bradfield , Colin Stirling

Publication date (Print): 2007

Publisher: Elsevier

Read this book at

Publisher

Buy book

Bookmark

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 Chapter

Publication date (Print): 2007

Pages: 721-756

DOI: 10.1016/S1570-2464(07)80015-2

SO-VID: 292246f3-1c96-4a36-9dab-f4af35eb251c

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 28

Temporal Logics for Hyperproperties
Authors: Michael Clarkson, Bernd Finkbeiner, Masoud Koleini …
Temporal Logics for Hyperproperties
Authors: Bernd Finkbeiner, Masoud Koleini, Markus N. Rabe …
Model-Checking Games for Fixpoint Logics with Partial Order Models
Authors: Julián Gutierrez, Julian Bradfield

See all cited by