Geometric Models of Concurrent Computations
S Mimram - 2016 - inria.hal.science
Since the 90s, geometric models have been introduced for concurrent programs. In those, a
point corresponds to a state, a path to an execution and a deformation of a path to an …
point corresponds to a state, a path to an execution and a deformation of a path to an …
[PDF][PDF] Samuel Mimram
MP Dehornoy, MÉ Goubault, M Kathryn, H Bellwald… - lix.polytechnique.fr
Since 90s, geometric models have been introduced for concurrent programs. In those, a
point corresponds to a state, a path to an execution and a deformation of a path to an …
point corresponds to a state, a path to an execution and a deformation of a path to an …