Axioms for concurrency (1989)

by F Moller