Sciweavers

CORR
2010
Springer

Formal Relationships Between Geometrical and Classical Models for Concurrency

13 years 3 months ago
Formal Relationships Between Geometrical and Classical Models for Concurrency
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality between events, conflicts and schedules due to resource accesses, etc. More recently, models with a geometrical flavor have been introduced, based on the notion of cubical set. These models are very rich and expressive since they can represent commutation between any number of events, thus generalizing the principle of true concurrency. While they seem to be very promising
Eric Goubault, Samuel Mimram
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Eric Goubault, Samuel Mimram
Comments (0)