BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
1 × Spain
1 × United Kingdom
2 × Italy
2 × The Netherlands
Collaborated with:
L.Aceto W.Fokkink Z.Ésik ∅ M.Hennessy A.Carayol T.Chen B.Luttik M.Cimini M.R.Mousavi M.A.Reniers A.Achilleos A.Francalanza K.Lehtinen
Talks about:
communic (2) process (2) axiomat (2) equat (2) merg (2) base (2) distribut (1) axiomatiz (1) synchron (1) prioriti (1)

Person: Anna Ingólfsdóttir

DBLP DBLP: Ing=oacute=lfsd=oacute=ttir:Anna

Facilitated 4 volumes:

ICALP (1) 2008Ed
ICALP (2) 2008Ed
ICALP (2) 2008Ed
FoSSaCS 2006Ed

Contributed to:

ICALP (2) 20122012
LATA 20112011
ICALP (2) 20062006
FoSSaCS 20012001
FoSSaCS 19991999
FoSSaCS 19981998
CSL 19961996
ICALP 19901990
TAPSOFT CAAP/FASE 19951995
POPL 20192019

Wrote 11 papers:

ICALP-v2-2012-AcetoCEI #algebra #process
Algebraic Synchronization Trees and Processes (LA, AC, ZÉ, AI), pp. 30–41.
LATA-2011-AcetoCIMR
Rule Formats for Distributivity (LA, MC, AI, MRM, MAR), pp. 80–91.
ICALP-v2-2006-AcetoCFI #axiom #on the
On the Axiomatizability of Priority (LA, TC, WF, AI), pp. 480–491.
ICALP-v2-2006-AcetoFIL #communication #equation #finite
A Finite Equational Base for CCS with Left Merge and Communication Merge (LA, WF, AI, BL), pp. 492–503.
FoSSaCS-2001-AcetoEI #axiom
Axiomatizing Tropical Semirings (LA, ZÉ, AI), pp. 42–56.
FoSSaCS-1999-AcetoI #logic #recursion #testing
Testing Hennessy-Milner Logic with Recursion (LA, AI), pp. 41–55.
FoSSaCS-1998-AcetoFI #axiom #equation
A Cook’s Tour of Equational Axiomatizations for Prefix Iteration (LA, WF, AI), pp. 20–34.
CSL-1996-Ingolfsdottir #semantics
Weak Semantics Based on Lighted Button Pressing Experiments (AI), pp. 226–243.
ICALP-1990-HennessyI #communication #formal method #process
A Theory of Communicating Processes with Value-Passing (MH, AI), pp. 209–219.
TAPSOFT-1995-AcetoI #modelling
CPO Models for a Class of GSOS Languages (LA, AI), pp. 439–453.
POPL-2019-AcetoAFIL #branch #linear
Adventures in monitorability: from branching to linear time and back again (LA, AA, AF, AI, KL), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.