Distributed system contract monitoring (2011)

by Adrian Francalanza, Andrew Gauci, Gordon J. Pace
Venue:in: Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’11