Mungo and StMungo: Tools for Typechecking Protocols in Java

Published in In: Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Series: River Publishers Series in Automation, Control and Robotics. River Publishers, pp. 309-328, 2017