Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Temporal logics in computer science: Finite-state systems
Stockholm University, Faculty of Humanities, Department of Philosophy.ORCID iD: 0000-0002-0157-1644
2016 (English)Book (Other academic)
Abstract [en]

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.

Place, publisher, year, edition, pages
Cambridge: Cambridge University Press, 2016. , 744 p.
Series
Cambridge tracts in theoretical computer science, 58
Keyword [en]
temporal logics, finite state systems
National Category
Computer Science
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:su:diva-138307ISBN: 9781107028364 (print)OAI: oai:DiVA.org:su-138307DiVA: diva2:1066705
Available from: 2017-01-18 Created: 2017-01-18 Last updated: 2017-02-16Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Goranko, Valentin
By organisation
Department of Philosophy
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 41 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf