Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por Renato Jorge Neves

2024

An adequacy theorem between mixed powerdomains and probabilistic concurrency

Autores
Neves, R;

Publicação
CoRR

Abstract

  • 6
  • 6