Renato Jorge Araújo Neves


AuthID: R-006-JRC

Publications Requiring Validation

1
TITLE: An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
AUTHORS: Renato Neves;
PUBLISHED: 2025, SOURCE: EXPRESS/SOS
INDEXED IN: DBLP
IN MY: DBLP

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service