Solving Parity Games and Mu-Calculi

Project Details

Key findings

We have introduced a new technique moving a step closer to one of the
open problems the grant examined. We have defined a new notion of
'unfolding' of Petri nets, which gives a balance between complexity
and compactness. In the main topic of mu-calculus alternation, we have
established a new and deep connection between this and the already
known Wadge hierarchy. On the practical side, we have given a precise
semantics to the industrial software engineering language QVT-R.
StatusFinished
Effective start/end date1/01/0931/12/12

Funding

  • EPSRC: £336,694.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Enforcing QVT-R with mu-calculus and games

    Bradfield, J. & Stevens, P., 2013, Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Cortellessa, V. & Varró, D. (eds.). Springer-Verlag GmbH, Vol. 7793. p. 282-296 15 p. (Lecture Notes in Computer Science; vol. 7793).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Ordinal Analysis and the Infinite Ramsey Theorem

    Afshari, B. & Rathjen, M., 2012, How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings. Cooper, S. B., Dawar, A. & Löwe, B. (eds.). Springer-Verlag GmbH, p. 1-10 10 p. (Lecture Notes in Computer Science; vol. 7318).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus

    Bradfield, J. & Stevens, P., 2012, Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. de Lara, J. & Zisman, A. (eds.). Springer-Verlag GmbH, p. 194-208 15 p. (Lecture Notes in Computer Science; vol. 7212).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File