1
2
Assuntos:
“...Deadlock...”
DyAFNoC: sistema dinamicamente reconfigurável baseado em redes intrachip com algoritmo de roteamento ordenado por dimensão flexibilizado.
Dissertação
3
4
Assuntos:
“...Deadlock...”
Mechanised local deadlock analysis based on timed behavioural patterns and responsiveness
Tese
5
Assuntos:
“...Deadlock freedom...”
A refinement based strategy for locally verifying networks of CSP processes
Dissertação
6
Assuntos:
“...Deadlock...”
Controle acionário compartilhado e solução de impasses: estudo de caso da Companhia Brasileira de Distribuição
Dissertação
7
Assuntos:
“...Deadlock...”
An extension of a tool for the formal support for component-based development
Dissertação
8
Assuntos:
“...Deadlock...”
Soluções contratuais para resolução de impasse : cláusulas buy or sell e opções de compra e venda (put and call options)
Dissertação
9
Assuntos:
“...Deadlock provisions...”
A cláusula shotgun (buy or sell) em acordo de sócios
Dissertação
10
Assuntos:
“...Deadlock...”
Detecção e correção de situações de deadlock em workflow nets interorganizacionais
Dissertação
11
Assuntos:
“...Deadlock...”
Especificação executável usando uma linguagem de redes de Petri no domínio de sistemas embarcados
Dissertação
12
13
14
Assuntos:
“...Obligatory and deadlock...”
O ensino de música na rede municipal de Juiz de Fora: impasses na implantação da Lei nº 11.769/2008
Dissertação
15
Assuntos:
“...Deadlock...”
Uma regra de sincronização baseada na lógica linear para prevenção de deadlock em workflow nets interorganizacionais
Dissertação