Buscas alternativas:
logic concurrent » of concurrent (Expandir a busca), chain concurrent (Expandir a busca)
parallel logic » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel join (Expandir a busca)
logic concurrent » of concurrent (Expandir a busca), chain concurrent (Expandir a busca)
parallel logic » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel join (Expandir a busca)
1
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
2
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
3
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
4
“... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese