DMCA

Distributed system contract monitoring (2011)

Cached

Download Links

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