▇▇▇▇▇▇ and ▇. ▇▇▇▇▇▇▇▇. The must preorder revisited: An algebraic theory for web services contracts. In CONCUR, volume 4703 of LNCS, pages 212–225. Springer, 2007.
Appears in 4 contracts
Sources: Behavioral Contracts, Research Paper, Retractable and Speculative Contracts