Characterising concurrent histories
From MaRDI portal
Publication:2804174
Recommendations
Cited in
(9)- Relational structures for concurrent behaviours
- Mutex causality in processes and traces of general elementary nets
- Classifying invariant structures of step traces
- Interval traces with mutex relation
- The mutex paradigm of concurrency
- Tools for constructing chronologies. Crossing disciplinary boundaries
- Step traces
- Cohesion of object histories
- Posets with interfaces as a model for concurrency
This page was built for publication: Characterising concurrent histories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804174)