, , , ,
Oxford Sci. Publ. Oxford Univ. Press (New York)
Oxford Topology Symposium
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).