Branching cells for asymmetric event structures
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...