Enhancing the tractability of rely/guarantee specifications in the development of interfering operations

Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent and complete proof rules relating to shared state operation specifications

• Type: Conference
• Year: 2000
• Where: BIRTHDAY
• Authors: Pierre Collette, Cliff B. Jones
• Keywords: Applied Computing, Assumption/commitment Specifications, BIRTHDAY 2000, Complete Proof Rules, State Operation Specifications