An adequacy theorem between mixed powerdomains and probabilistic concurrency
An adequacy theorem between mixed powerdomains and probabilistic concurrency
No Thumbnail Available
Date
2024
Authors
Renato Jorge Neves