Axioms For Asynchronous Processes