Process Semantics: Universal Axioms Compositional Rules, and Applications.

Van Vicious Nguyen, Robert E. Strom

Browse the full PODC paper archive.