Sciweavers

BIRTHDAY
2000
Springer

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

13 years 7 months ago
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
Pierre Collette, Cliff B. Jones
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where BIRTHDAY
Authors Pierre Collette, Cliff B. Jones
Comments (0)