Franck van Breugel

1966

• Mathematical techniques for analyzing concurrent and probabilistic systems
• Comparative metric semantics of programming languages
• Concur 2008 Concurrency Theory 19th International Conference Concur 2008 Toronto Canada August 1922 2008 Proceedings
• Mathematical techniques for analyzing concurrent and probabilistic systems