π-calculus, Session Types research at Imperial College
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.