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