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

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

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