An adequacy theorem between mixed powerdomains and probabilistic concurrency

No Thumbnail Available
Files
P-017-71G.pdf (399.06 KB)
Date
2024
Authors
Renato Jorge Neves
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
https://repositorio.inesctec.pt/handle/123456789/15264
Collections
HASLab - Other Publications