π-calculus, Session Types research at Imperial College

Let it recover: Multiparty Protocol Induced Recovery

This is an Erlang API for programming with gen_server.

We statically analyse the communication flow of a program, given as a multiparty protocol, to extract the causal dependencies between processes and to localise failures. A recovered communication system is free from deadlocks, orphan messages and reception errors.

Related publications