A Logic for Concurrency (1987)

by Andrea Asperti