Showing 1 - 11 results of 11 for search 'Anna Ingólfsdóttir', query time: 0.03s Refine Results
  1. 1
    Characteristic Formulae for Relations with Nested Fixed Points

    Characteristic Formulae for Relations with Nested Fixed Points by Luca Aceto, Anna Ingólfsdóttir

    Published 2012-02-01
    Get full text
    Article
  2. 2
    Characteristic Formulae for Fixed-Point Semantics: A General Framework

    Characteristic Formulae for Fixed-Point Semantics: A General Framework by Luca Aceto, Anna Ingolfsdottir, Joshua Sack

    Published 2009-11-01
    Get full text
    Article
  3. 3
    Meta SOS - A Maude Based SOS Meta-Theory Framework

    Meta SOS - A Maude Based SOS Meta-Theory Framework by Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir

    Published 2013-07-01
    Get full text
    Article
  4. 4
    Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

    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
    Get full text
    Article
  5. 5
    A Survey of Runtime Monitoring Instrumentation Techniques

    A Survey of Runtime Monitoring Instrumentation Techniques by Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir

    Published 2017-08-01
    Get full text
    Article
  6. 6
    Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

    Bidirectional Runtime Enforcement of First-Order Branching-Time Properties by Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir

    Published 2023-02-01
    Get full text
    Article
  7. 7
    Axiomatizing GSOS with Predicates

    Axiomatizing GSOS with Predicates by Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingolfsdottir

    Published 2011-08-01
    Get full text
    Article
  8. 8
    On the Axiomatisability of Parallel Composition

    On the Axiomatisability of Parallel Composition by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, Mathias R. Pedersen

    Published 2022-01-01
    Get full text
    Article
  9. 9
    Rule Formats for Nominal Process Calculi

    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
    Get full text
    Article
  10. 10
    Graphical representation of covariant-contravariant modal formulae

    Graphical representation of covariant-contravariant modal formulae by Miguel Palomino, Anna Ingólfsdóttir, David de Frutos-Escrig, Ignacio Fábregas, Luca Aceto

    Published 2011-08-01
    Get full text
    Article
  11. 11
    Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

    Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani

    Published 2011-07-01
    Get full text
    Article

Search Tools: