Return to Article Details The Saga of the Axiomatization of Parallel Composition Download Download PDF