De Nicola, Rocco and Fantechi, Alessandro and Gnesi, Stefania and Ristori, Gioia An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Computer Networks and ISDN Systems, 25 (7). pp. 761-778. ISSN 0169-7552 (1993)