Transition systems over games

Paul Blain Levy; Sam Staton

doi:10.1145/2603088.2603150

Transition systems over games

Paul Blain Levy, Sam Staton

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Original language	English
Title of host publication	CSL-LICS '14 - Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Publisher	Association for Computing Machinery
ISBN (Electronic)	9781450328869
DOIs	https://doi.org/10.1145/2603088.2603150
Publication status	Published - 14 Jul 2014

Access to Document

10.1145/2603088.2603150

Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Levy, P.
Engineering & Physical Science Research Council
1/01/08 → 31/12/12
Project: Research Councils

Cite this

@inproceedings{e95e2668c14b4716b2c8b26dd74a8035,

title = "Transition systems over games",

author = "Levy, {Paul Blain} and Sam Staton",

year = "2014",

month = jul,

day = "14",

doi = "10.1145/2603088.2603150",

language = "English",

booktitle = "CSL-LICS '14 - Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)",

publisher = "Association for Computing Machinery ",

}

Transition systems over games. / Levy, Paul Blain; Staton, Sam.
CSL-LICS '14 - Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . Association for Computing Machinery , 2014. 64.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Transition systems over games

AU - Levy, Paul Blain

AU - Staton, Sam

PY - 2014/7/14

Y1 - 2014/7/14

U2 - 10.1145/2603088.2603150

DO - 10.1145/2603088.2603150

M3 - Conference contribution

BT - CSL-LICS '14 - Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

PB - Association for Computing Machinery

ER -

Transition systems over games

Access to Document

Projects

Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation

Cite this