Branching cells for asymmetric event structures

Samy Abbes (1)

1 PPS - Preuves, Programmes et Systèmes

We introduce branching cells for Asymmetric Event Structures. They provide a way to decompose maximal configuration in a dynamic way through elementary steps representing elementary choices made during a computation run.

Mots clés: asymmetric conflict; concurrent semantics; branching cell; event structure; choice

Domaines: Réseaux et télécommunications [cs.NI]

Samy Abbes. Branching cells for asymmetric event structures. Theoretical Computer Science, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, pp.32-51. ⟨10.1016/j.tcs.2014.02.044⟩. ⟨hal-00762598⟩