En vue d'étudier la concurrence dans un cadre continu, nous introduisons la topologie, la géométrie et la théorie des ordres nécessaires pour définir une sémantique d'une restriction du langage introduit par 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.