Petri nets, probability and event structures (2014)

First Author: Ghahremani Azghandi Nargess
Attributed to:  Solving Parity Games and Mu-Calculi funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://hdl.handle.net/1842/9936

Type: Thesis