An Efficient Verifier of Truly Concurrent Properties.

Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami

Browse the full PACT paper archive.