As businesses become globally distributed, business applications are more dependent on the WAN than ever before. While WAN capacity is abundant and inexpensive, negative characteristics of the WAN ...

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

Network protocols are formal standards and policies consisting of rules, procedures, and formats that define how data is exchanged over networks. They ensure that devices can communicate effectively, ...

In the previous two articles, I described the hardware and software required to build an IoT device. These devices (the “Things” in the Internet of Things) are an essential part of an IoT system.