Adequacy Theorem Connects Mixed Powerdomains to Probabilistic Concurrency

An adequacy theorem links mixed powerdomains to concurrent probabilistic GCL, according to the authors; it was first submitted on 24 Sep 2024 and revised on 18 Sep 2025. getnews.me/adequacy-theorem-connect... #mixedpowerdomains #probabilistic