Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-3
|
Results: 3
LORETO: a tool for reducing state explosion in verification of LOTOS programs
Authors:
Barbuti, R De Francesco, N Santone, A Vaglini, G
Citation:
R. Barbuti et al., LORETO: a tool for reducing state explosion in verification of LOTOS programs, SOFTW PR EX, 29(12), 1999, pp. 1123-1147
Selective Mu-calculus and formula-based equivalence of transition systems
Authors:
Barbuti, R De Francesco, N Santone, A Vaglini, G
Citation:
R. Barbuti et al., Selective Mu-calculus and formula-based equivalence of transition systems, J COMPUT SY, 59(3), 1999, pp. 537-556
Abstract interpretation of trace semantics for concurrent calculi
Authors:
Barbuti, R De Francesco, N Santone, A Vaglini, G
Citation:
R. Barbuti et al., Abstract interpretation of trace semantics for concurrent calculi, INF PROCESS, 70(2), 1999, pp. 69-78
Risultati:
1-3
|