Xxxxxx and X. Xxxxxxxx. 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
Samples: Research Paper, Behavioral Contracts, Retractable and Speculative Contracts