Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.

Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink

Browse the full CONCUR paper archive.