Treffer: Typechecking protocols with Mungo and StMungo: A session type toolchain for Java

Title:
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
Authors:
Kouzapas, Dimitrios a, Dardha, Ornela b, Perera, Roly b, c, Gay, Simon J. b
Source:
In Science of Computer Programming 1 April 2018 155:52-75
Database:
ScienceDirect