Quantales‚ Observational Logic and Process Semantics
S. Abramsky and S. J. Vickers
Details
| Book Title |
Mathematical Structures in Computer Science |
| Pages |
161−227 |
| Volume |
3 |
| Year |
1993 |
Links
Related pages
|
People |