The Stochastic Quality Calculus.

Kebin Zeng, Flemming Nielson, Hanne Riis Nielson

Browse the full Coordination paper archive.