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 …
相关文章

Geometric Models of Concurrent Computations

S Mimram - 2016 - 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 …

Geometric Models of Concurrent Computations

S Mimram - 2016 - theses.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 …