Appendix E: Axioms for Processes | part of Modeling and Analysis of Communicating Systems | MIT Press books | IEEE Xplore