Authors: Bernardeschi, C De Francesco, N Vaglini, G

Citation: C. Bernardeschi et al., An approach to system design based on P/T net simulation, INF SOFTW T, 43(10), 2001, pp. 591-605

Authors: Santone, A Vaglini, G

Citation: A. Santone et G. Vaglini, Reusing LOTOS specifications, MICROPR MIC, 25(6), 2001, pp. 309-314

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