The semantics of nonblocking communication is defined by suitably extending the definitions in Section 3.5.