Search

• < Previous
• 1
• Next >

Asynchronous wreath product and cascade decompositions for concurrent behaviours

We develop new algebraic tools to reason about concurrent behaviours modelled as languages of Mazurkiewicz traces and asynchronous automata. These tools reflect the distributed nature of traces and the underlying causality and concurrency between events, and can be said to support true concurrency.&nbsp;[&hellip;]