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
Citation
Sergey Berezin, Edmund Clarke, Somesh Jha, Will Marrero, 2000. "Model Checking Algorithms for the μ-Calculus", 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.