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. In Topology and Category Theory in Computer Science (pp. 113–151). Oxford Sci. Publ. Oxford Univ. Press (New York). |
|