1. Verification of programs with half-duplex communication;Cécé;Inf. Comput.,2005
2. Types for dyadic interaction;Honda,1993
3. Language primitives and type discipline for structured communication-based programming;Honda,1998
4. Language support for fast and reliable message-based communication in singularity OS;Fähndrich,2006
5. Reliable contracts for unreliable half-duplex communications;Lozes,2011