1991
Concurrency semantics based on metric domain equations
Publication
Publication
Presented at the
Oxford Topology Symposium, Oxford
| Additional Metadata | |
|---|---|
| , , , , | |
| Oxford Sci. Publ. Oxford Univ. Press (New York) | |
| Oxford Topology Symposium | |
| Organisation | Computer Security |
|
de Bakker, J.& Rutten, J. (1991). Concurrency semantics based on metric domain equations. Topology and Category Theory in Computer Science, 113–151. |
|