Protocol engineering for communicating actors

In systems of communicating processes or actors, data types can be used to discipline the sorts of sent and received messages. Behavioural types, in addition, can describe specific causalities and patterns among different send/receive actions (like application-level protocols). I will give an overview on recent and ongoing research about writing realisable behavioural types, especially those including time-constraints and deadlines, and use them to yield correct implementations (e.g., supporting implementation and verification) using programming languages like Erlang.

OBJECTIVES

Advocate the benefits of protocol awareness. Increase awareness of research and available verification techniques. Get all in the loop and discuss together about future directions. 

AUDIENCE

Anyone interested in distributed communications.