An Efficient Verifier of Truly Concurrent Properties. - Alessandro Bianchi; Stefano Coluccini; Pierpaolo Degano; Corrado Priami (PaCT, 1995)