Process semantics: Global axioms, compositional rules, and applicationsVicious Van NguyenRob Strom1988PODC 1988