"An extended account of contract monitoring strategies as patterns of ..."

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics