A logic for concurrency (1987)

by Andrea Asperti