Multiparty Session Types for Safe Runtime Adaptation in an Actor Language

Human fallibility, unpredictable operational environments, and the heterogeneity of hardware devices are driving in the need for software to be able to adapt as seen in the Internet of Things or national telecommunication networks. Unfortunately, …

Evolving Autonomous Networks

The need to think about autonomous networks in a different way.

Adaptable Actors: Just What the World Needs

The combination of improved battery technology and more power-efficient computing hardware has led to the proliferation of heterogeneous distributed systems. This internet of things consists of embedded, wearable, hobbyist, parallel, and commodity …