Compositional logic semantics and LOTOS. - Alessandro Fantechi; Stefania Gnesi; Gioia Ristori (PSTV, 1990)

An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. - Rocco De Nicola; Alessandro Fantechi; Stefania Gnesi; Gioia Ristori (Comput. Networks ISDN Syst., 1993)

Modelling Concurrent Accesses to Shared Data via Petri Nets. - Nicoletta De Francesco; Ugo Montanari; Gioia Ristori (PROCOMET, 1994)

Model Checking for Action-Based Logics. - Alessandro Fantechi; Stefania Gnesi; Gioia Ristori (Formal Methods Syst. Des., 1994)

Assisting Requirement Formalization by Means of Natural Language Translation. - Alessandro Fantechi; Stefania Gnesi; Gioia Ristori; Michele Carenini; Massimo Vanocchi; Paolo Moreschini (Formal Methods Syst. Des., 1994)

Verifying hardware components within JACK. - Rocco De Nicola; Alessandro Fantechi; Stefania Gnesi; Salvatore Larosa; Gioia Ristori (CHARME, 1995)

An Automated Based Verification Environment for Mobile Processes. - Gian-Luigi Ferrari 002; Gianluigi Ferro; Stefania Gnesi; Ugo Montanari; Marco Pistore; Gioia Ristori (TACAS, 1997)

A Concurrent Functional Semantics for a Process Algebra Based on Action Systems. - Ugo Montanari; Gioia Ristori (Fundam. Informaticae, 1997)

Verifying Mobile Processes in the HAL Environment. - Gian-Luigi Ferrari 002; Stefania Gnesi; Ugo Montanari; Marco Pistore; Gioia Ristori (CAV, 1998)