An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency

Renato Neves

We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine no…