Conference item icon

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


Authors


More by this author
Institution:
University of Oxford
Oxford college:
Merton College
Role:
Author
More from this funder
Name:
Engineering and Physical Sciences Research Council
Funding agency for:
Ong, C
More from this funder
Name:
Institute for Mathematical Sciences, National University of Singapore
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

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP