Reasoning about concurrent systems: a functional approach
S. Abramsky
Details
| Book Title |
Distributed Systems |
| Editor |
F. Chambers and D. Duce and G. Jones |
| Pages |
307−319 |
| Publisher |
Academic Press |
| Year |
1984 |
Links
Related pages
|
People |