"Effect-Polymorphic Behaviour Inference for Deadlock Checking."

Ka I Pun, Martin Steffen, Volker Stolz (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics