External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Pierre Collette, Cliff B. Jones. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 277-308, The MIT Press, 2000.

Authors

Pierre Collette

This author has not been identified. Look up 'Pierre Collette' in Google

Cliff B. Jones

This author has not been identified. Look up 'Cliff B. Jones' in Google
runs on