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

IoT protocols and communication standards refer to the vast network of devices that are connected to the Internet and can exchange data with each other. Learn more about IoT software development ...

In preparing for my Fall course: Communications for Professionals, I’ve been thinking more and more about the different types of communication. In previous years, I have outlined four types of ...

Once again, too many standards are vying for dominance in solving a relatively simple problem. The IT industry needs to break this counterproductive pattern. You know the routine: The IT industry, ...

Effective businesses thrive on strong communication skills. Written communication, in particular, is used in all types of businesses in a variety of ways. Sound business communication styles improve ...

There’s an often-impenetrable alphabet soup of protocols, standards and technologies around the Internet of Things. Here’s our attempt to wipe away some of the fog, in the hopes of making the language ...