Franck van Breugel

Concur 2008 Concurrency Theory 19th International Conference Concur 2008 Toronto Canada August 1922 2008 Proceedings

Comparative metric semantics of programming languages

Mathematical techniques for analyzing concurrent and probabilistic systems