1 paper
Benjamin Robinson, Nobuko Yoshida
Effpi is a framework for writing strongly-typed message-passing programs in Scala, where the compiler enforces the conformance of process implementations to specified protocol type…