Asynchronous automata are a generalisation of both transition systems and Mazurkiewicz traces. Their study has influences other models for concurrency such as transition systems with independence (also called asynchronous transition systems). The idea is to decorate transition systems with an independence relation (much as in (Mazurkiewicz) trace alphabets) between actions that allow one to distinguish true concurrency from mutual exclusion (i.e. non-determinism). Following the paper by Goubault and Mimram, we use a slight modification called automata with concurrency relations:
An automaton with concurrency relations consists of
and
Last revised on June 11, 2022 at 10:38:33. See the history of this page for a list of all contributions to it.