In view of studying concurrency in a continuous setting, we introduce topology, geometry, and order theory needed to define a semantics of a restriction of the language introduced by E. W. Dijkstra.
In view of studying concurrency in a continuous setting, we introduce topology, geometry, and order theory needed to define a semantics of a restriction of the language introduced by E. W. Dijkstra.