Conference item
Automata, logic and games for the λ-calculus
- Abstract:
-
Automata, logic and games provide the mathematical theory that underpins the model checking of reactive systems:
- automata on infinite words and trees as models of computation for statebased systems,
- logical systems such as temporal and modal logics for specifying correctness properties, and
- two-person games as a mathematical model of the interactions between a system and its environment.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 176.2KB, Terms of use)
-
- Publisher copy:
- 10.1007/978-3-662-54069-5_3
Authors
+ Engineering and Physical Sciences Research Council
More from this funder
- Funding agency for:
- Ong, C
+ Institute for Mathematical Sciences, National University of Singapore
More from this funder
- Funding agency for:
- Ong, C
- Publisher:
- Springer
- Host title:
- Seventh Indian Conference on Logic and its Applications - ICLA 2017
- Journal:
- Seventh Indian Conference on Logic and its Applications - ICLA 2017. More from this journal
- Publication date:
- 2016-12-01
- Acceptance date:
- 2016-10-08
- DOI:
- Pubs id:
-
pubs:685454
- UUID:
-
uuid:e9628d9f-8f9f-4042-b547-ba8abb3a16e1
- Local pid:
-
pubs:685454
- Source identifiers:
-
685454
- Deposit date:
-
2017-03-12
- ARK identifier:
Terms of use
- Copyright holder:
- Springer-Verlag GmbH Germany
- Copyright date:
- 2016
- Notes:
- © Springer-Verlag GmbH Germany 2017
If you are the owner of this record, you can report an update to it here: Report update to this record