Multiparty Session Types (MPST) provide a rigorous formalism for specifying and verifying the correctness of communications in distributed systems. Rooted in the notion of behavioural types, MPST ...

Communication is one of the major skills covered in cognitive behavioral therapy. Although therapy is often with an individual, relationship problems are a common focus of treatment. Helping someone ...