Petri nets, probability and event structures (2014)
Attributed to:
Solving Parity Games and Mu-Calculi
funded by
EPSRC
Abstract
No abstract provided