Renato Jorge Araújo Neves


AuthID: R-006-JRC

Publicações a aguardar confirmação

1
TÍTULO: An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
AUTORES: Renato Neves;
PUBLICAÇÃO: 2025, FONTE: EXPRESS/SOS
INDEXADO EM: DBLP
NO MEU: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service