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