1
Assuntos:
“...Linear logic...”
Modelagem e análise de video games usando as workflow nets e a lógica linear
Dissertação
2
3
Assuntos:
“...Linear logic...”
Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais
Tese
4
Assuntos:
“...Linear logic...”
Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
Dissertação
5
Assuntos:
“...Linear Logic...”
Uma regra de sincronização baseada na lógica linear para prevenção de deadlock em workflow nets interorganizacionais
Dissertação
6
Assuntos:
“...Linear Logic...”
Verificação de requisitos funcionais e não funcionais em Arquiteturas Orientadas a Serviços
Tese