On the expressive power of CSP refinement
A. W. Roscoe
Details
| Journal |
Formal Aspects of Computing |
| Note |
Preliminary version in Proceedings of AVoCS03‚ Southampton University Technical Report‚ April 2003 |
| Pages |
93–112 |
| Series |
2 |
| Volume |
17 |
| Year |
2003 |
Links
Related pages
|
People |
|
|
Activities |