TY - RPRT TI - Communicating Concurrent Functions AU - Bob Diertens PY - 2011 UR - https://arxiv.org/abs/1111.5172 ID - 1111.5172 ER -