Ingólfsdóttir, Anna
-
BRICS Report Series Nr. 40 (1995): RS-40 A Fully Abstract Denotational Model for Observational Congruence - Artikler
A Fully Abstract Denotational Model for Observational Congruence
Resumé PDF (English) -
BRICS Report Series Nr. 15 (2003): RS-15 A Semantic Theory for Value-Passing Processes Based on the Late Approach - Artikler
A Semantic Theory for Value-Passing Processes Based on the Late Approach
Resumé PDF (English) -
BRICS Report Series Nr. 3 (1995): RS-03 A Semantic Theory for Value–Passing Processes Late Approach Part I: A DenotationalModel and Its Complete Axiomatiz - Artikler
A Semantic Theory for Value–Passing Processes Late Approach Part I: A Denotational Model and Its Complete Axiomatization
Resumé PDF (English) -
BRICS Report Series Nr. 43 (1996): RS-43 Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Sem - Artikler
Weak Semantics Based on Lighted Button Pressing Experiments. An Alternative Characterization of the Readiness Semantics
Resumé PDF (English) -
BRICS Report Series Nr. 7 (2002): RS-7 A Formalization of Linkage Analysis - Artikler
A Formalization of Linkage Analysis
Resumé PDF (English) -
BRICS Report Series Nr. 22 (1995): RS-22 A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness - Artikler
A Semantic Theory for Value–Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness
Resumé PDF (English) -
BRICS Report Series Nr. 26 (1997): RS-26 A Characterization of Finitary Bisimulation - Artikler
A Characterization of Finitary Bisimulation
Resumé PDF (English) -
BRICS Report Series Nr. 50 (1998): RS-50 Testing Hennessy-Milner Logic with Recursion - Artikler
Testing Hennessy-Milner Logic with Recursion
Resumé PDF (English) -
BRICS Report Series Nr. 5 (1995): RS-05 A Complete Equational Axiomatization for Prefix Iteration with Silent Steps - Artikler
A Complete Equational Axiomatization for Prefix Iteration with Silent Steps
Resumé PDF (English) -
BRICS Report Series Nr. 59 (1995): RS-59 On the Finitary Bisimulation - Artikler
On the Finitary Bisimulation
Resumé PDF (English) -
BRICS Report Series Nr. 23 (2000): RS-23 Characteristic Formulae for Timed Automata - Artikler
Characteristic Formulae for Timed Automata
Resumé PDF (English) -
BRICS Report Series Nr. 2 (2007): RS-2 Characteristic Formulae: From Automata to Logic - Artikler
Characteristic Formulae: From Automata to Logic
Resumé PDF (English) -
BRICS Report Series Nr. 11 (2007): RS-11 The Saga of the Axiomatization of Parallel Composition - Artikler
The Saga of the Axiomatization of Parallel Composition
Resumé PDF (English) -
BRICS Report Series Nr. 22 (1999): RS-22 On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers - Artikler
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers
Resumé PDF (English) -
BRICS Report Series Nr. 21 (2001): RS-21 Equational Theories of Tropical Semirings - Artikler
Equational Theories of Tropical Semirings
Resumé PDF (English) -
BRICS Report Series Nr. 20 (2000): RS-20 2-Nested Simulation is not Finitely Equationally Axiomatizable - Artikler
2-Nested Simulation is not Finitely Equationally Axiomatizable
Resumé PDF (English) -
BRICS Report Series Nr. 5 (2007): RS-5 On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt - Artikler
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt
Resumé PDF (English) -
BRICS Report Series Nr. 28 (2001): RS-28 A Fully Equational Proof of Parikh's Theorem - Artikler
A Fully Equational Proof of Parikh's Theorem
Resumé PDF (English) -
BRICS Report Series Nr. 36 (1996): RS-36 On a Question of A. Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitel - Artikler
On a Question of Arto Salomaa: The Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based
Resumé PDF (English) -
BRICS Report Series Nr. 23 (1996): RS-23 A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces - Artikler
A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces
Resumé PDF (English) -
BRICS Report Series Nr. 33 (1999): RS-33 The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis - Artikler
The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis
Resumé PDF (English) -
BRICS Report Series Nr. 6 (2002): RS-6 Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) - Artikler
Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)
Resumé PDF (English) -
BRICS Report Series Nr. 49 (1998): RS-49 A Cook’s Tour of Equational Axiomatizations for Prefix Iteration - Artikler
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration
Resumé PDF (English) -
BRICS Report Series Nr. 17 (2003): RS-17 The Complexity of Checking Consistency of Pedigree Information and Related Problems - Artikler
The Complexity of Checking Consistency of Pedigree Information and Related Problems
Resumé PDF (English) -
BRICS Report Series Nr. 40 (2002): RS-40 A Note on an Expressiveness Hierarchy for Multi-exit Iteration - Artikler
A Note on an Expressiveness Hierarchy for Multi-exit Iteration
Resumé PDF (English) -
BRICS Report Series Nr. 34 (2003): RS-34 CCS with Hennessy's Merge has no Finite Equational Axiomatization - Artikler
CCS with Hennessy's Merge has no Finite Equational Axiomatization
Resumé PDF (English) -
BRICS Report Series Nr. 42 (2002): RS-42 Checking Consistency of Pedigree Information is NP-complete (Preliminary Report) - Artikler
Checking Consistency of Pedigree Information is NP-complete (Preliminary Report)
Resumé PDF (English) -
BRICS Report Series Nr. 1 (2004): RS-1 Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge - Artikler
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Resumé PDF (English) -
BRICS Report Series Nr. 33 (2005): RS-33 Bisimilarity is not Finitely Based over BPA with Interrupt - Artikler
Bisimilarity is not Finitely Based over BPA with Interrupt
Resumé PDF (English) -
BRICS Report Series Nr. 24 (2004): RS-24 Bisimilarity is not Finitely Based over BPA with Interrupt - Artikler
Bisimilarity is not Finitely Based over BPA with Interrupt
Resumé PDF (English) -
BRICS Report Series Nr. 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge - Artikler
A Finite Equational Base for CCS with Left Merge and Communication Merge
Resumé PDF (English) -
BRICS Report Series Nr. 17 (2007): RS-17 Not published - Artikler
A Cancellation Theorem for BCCSP
Resumé -
BRICS Report Series Nr. 19 (2005): RS-19 Finite Equational Bases in Process Algebra: Results and Open Questions - Artikler
Finite Equational Bases in Process Algebra: Results and Open Questions
Resumé PDF (English) -
BRICS Report Series Nr. 3 (2007): RS-3 Ready To Preorder: Get Your BCCSP Axiomatization for Free! - Artikler
Ready To Preorder: Get Your BCCSP Axiomatization for Free!
Resumé PDF (English) -
BRICS Report Series Nr. 56 (1995): RS-56 Axiomatizing Prefix Iteration with Silent Steps - Artikler
Axiomatizing Prefix Iteration with Silent Steps
Resumé PDF (English) -
BRICS Report Series Nr. 1 (2006): RS-1 On the Axiomatizability of Priority - Artikler
On the Axiomatizability of Priority
Resumé PDF (English) -
BRICS Report Series Nr. 27 (2003): RS-27 Nested Semantics over Finite Trees are Equationally Hard - Artikler
Nested Semantics over Finite Trees are Equationally Hard
Resumé PDF (English)