If you made any changes in Pure these will be visible here soon.

Research Output 2017 2018

2018

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., Aug 2018, In : Acta Informatica. 55, 5, p. 401-444 44 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Model checking
2017

An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

Groote, J. F., Jansen, D. N., Keiren, J. J. A. & Wijs, A. J., 23 Jun 2017, In : Acm Transactions on Computational Logic. 18, 2, 13.

Research output: Contribution to journalArticleAcademicpeer-review

Bisimulation
Branching
Equivalence
Computing
Time Complexity

Corrections to "A Menagerie of Timed Automata"

Keiren, J. J. A., Fontana, P. & Cleaveland, R., Oct 2017, In : Acm Computing Surveys. 50, 3, p. 1-8 8 p., 42.

Research output: Contribution to journalArticleAcademicpeer-review

Timed Automata
Expressiveness
Defects
Invariant
Computing

Games for Bisimulations and Abstraction

de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 28 Nov 2017, In : Logical Methods in Computer Science. 13, 4, 40 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Bisimulation
Game
Specification
Specifications
Process Algebra