Toggle Main Menu Toggle Search

Open Access padlockePrints

Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations

Lookup NU author(s): Professor Cliff JonesORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Collette P, Jones CB

Editor(s): Plotkin, G.D., Stirling, C.P. and Tofte, M.

Publication type: Book Chapter

Publication status: Published

Book Title: Proof, Language and Interaction: Essays in Honour of Robin Milner

Year: 2000

Pages: 277-307

Series Title: Foundations of Computing

Publisher: MIT Press

Place Published: Cambridge, MA, USA

Library holdings: Search Newcastle University Library for this item

ISBN: 0262161885