Automata, logic and games for the λ-calculus
<p>Automata, logic and games provide the mathematical theory that underpins the model checking of reactive systems:</p> <p>- automata on infinite words and trees as models of computation for statebased systems,</p> <p>- logical systems such as temporal and modal logics...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2016
|
| _version_ | 1826302769621893120 |
|---|---|
| author | Ong, C |
| author_facet | Ong, C |
| author_sort | Ong, C |
| collection | OXFORD |
| description | <p>Automata, logic and games provide the mathematical theory that underpins the model checking of reactive systems:</p> <p>- automata on infinite words and trees as models of computation for statebased systems,</p> <p>- logical systems such as temporal and modal logics for specifying correctness properties, and</p> <p>- two-person games as a mathematical model of the interactions between a system and its environment.</p> |
| first_indexed | 2024-03-07T05:52:32Z |
| format | Conference item |
| id | oxford-uuid:e9628d9f-8f9f-4042-b547-ba8abb3a16e1 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T05:52:32Z |
| publishDate | 2016 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:e9628d9f-8f9f-4042-b547-ba8abb3a16e12022-03-27T10:53:52ZAutomata, logic and games for the λ-calculusConference itemhttp://purl.org/coar/resource_type/c_5794uuid:e9628d9f-8f9f-4042-b547-ba8abb3a16e1Symplectic Elements at OxfordSpringer2016Ong, C<p>Automata, logic and games provide the mathematical theory that underpins the model checking of reactive systems:</p> <p>- automata on infinite words and trees as models of computation for statebased systems,</p> <p>- logical systems such as temporal and modal logics for specifying correctness properties, and</p> <p>- two-person games as a mathematical model of the interactions between a system and its environment.</p> |
| spellingShingle | Ong, C Automata, logic and games for the λ-calculus |
| title | Automata, logic and games for the λ-calculus |
| title_full | Automata, logic and games for the λ-calculus |
| title_fullStr | Automata, logic and games for the λ-calculus |
| title_full_unstemmed | Automata, logic and games for the λ-calculus |
| title_short | Automata, logic and games for the λ-calculus |
| title_sort | automata logic and games for the λ calculus |
| work_keys_str_mv | AT ongc automatalogicandgamesforthelcalculus |