Despite the many ways to pass information in the workplace -- email, social media, phone, text or via the company intranet -- inadequate communication between managers and employees exists. Employees ...

Not all sessions and applications are equal, and the network can only do so much with QoS and call admission control; a new architecture is needed. Current communications architectures based on ...

Communicating about science is a challenge. Bridging the gap between conversations with colleagues immersed in the language of the laboratory and audiences ranging from educated and curious to ...

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 ...