Metric spaces as models for real−time concurrency
A. W. Roscoe and G.M. Reed
Details
| Book Title |
Proceedings of the Third Workshop on the Mathematical Foundations of Programming Language Semantics (New Orleans‚ 1987) |
| Editor |
Main et al |
| Number |
298 |
| Pages |
331–343 |
| Publisher |
Springer |
| Series |
LNCS |
| Year |
1988 |
Links
Related pages
|
People |
|
|
Activities |