Showing 1 - 4 results of 4 for search 'Anna Ingólfsdóttir', query time: 0.02s
Refine Results
-
1
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik
Published 2005-03-01
Article -
2
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties by Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir
Published 2023-02-01
Article -
3
On the Axiomatisability of Parallel Composition by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, Mathias R. Pedersen
Published 2022-01-01
Article -
4
Rule Formats for Nominal Process Calculi by Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Published 2019-10-01
Article