, , , ,
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. Topology and Category Theory in Computer Science, 113–151.