Room “Sala Seminari” - Abacus Building (U14)
Analysis of Concurrent Systems: Traces and Causal Structures
Speaker
Łukasz Mikulski
Faculty of Mathematics and Computer Science
Nicolaus Copernicus University, Toruń, Poland
Abstract
Relational structures like partial orders that are based on acyclic relations capturing a `before' relationship, can provide versatile frameworks for the modelling and verification of a wide class of concurrent systems behaviour. There are also relational structures with an acyclic ‘before’ (strong precedence) relationship and a possibly cyclic ‘not later than’ (weak precedence) relationship, which can be used for more general concurrent behaviours. However, in each of these cases, the execution model is based on sequences or step sequences of executed actions, where actions are assumed to be executed instantaneously. I will recall the results for the semantics with transitive simultaneity and then drop this restriction and consider executions modelled by interval orders, where actions are assumed to be executed non-instantaneously.
contact person for this Seminar: luca.bernardinello@unimib.it