Preface Rajeev Alur, Radha Jagadeesan and Leonid Libkin | ||
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata |
||
Nir Piterman | ||
A Characterisation of First-Order Constraint Satisfaction Problems | ||
Benoit Larose, Cynthia Loten and Claude Tardif | ||
Coinductive Proof Principles for Stochastic Processes | ||
Dexter C. Kozen | ||
A proof of strong normalisation using domain theory | ||
Thierry Coquand and Arnaud Spiwack | ||
Independence and concurrent separation logic | ||
Jonathan Mark Hayman and Glynn Winskel | ||