Skip Nav Destination
Foundations of Computing
Proof, Language, and Interaction: Essays in Honour of Robin Milner
Edited by
Gordon Plotkin,
Gordon Plotkin
Gordon Plotkin is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.
Search for other works by this author on:
Colin P. Stirling,
Colin P. Stirling
Colin Stirling is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.
Search for other works by this author on:
Mads Tofte
Mads Tofte
Mads Tofte is Vice Chancellor, IT University of Copenhagen.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262281676
Publication date:
2000
Book Chapter
10: Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations
-
Published:2000
Citation
Pierre Collette, Cliff B. Jones, 2000. "Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations", Proof, Language, and Interaction: Essays in Honour of Robin Milner, Gordon Plotkin, Colin P. Stirling, Mads Tofte
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.