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). |