Anna Ingolfsdottir

Identifiers

No identifiers captured yet.

Papers (4)

1. On Runtime Enforcement via Suppressions cs.LO · 2018 · author #4
2. Developing Theoretical Foundations for Runtime Enforcement cs.LO · 2018 · author #4
3. A Finite Equational Base for CCS with Left Merge and Communication Merge cs.LO · 2006 · author #3
4. Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy&#39;s Merge cs.LO · 2005 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Luca Aceto 4 shared papers
• Adrian Francalanza 2 shared papers
• Bas Luttik 2 shared papers
• Ian Cassar 2 shared papers
• Wan Fokkink 2 shared papers