On the expressive power of CSP refinemen
β
A.W. Roscoe
π
Article
π
2005
π
Springer
π
English
β 208 KB