1
2
“... de Winskel, Nielsen e Sassone onde é proposta uma classificação formal para modelos de concorrência...”
Reificação de objetos concorrentes
Tese