BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Greece
1 × Portugal
Collaborated with:
M.Boreale G.Zavattaro S.Dal-Zilio
Talks about:
calculus (2) relationship (1) behaviour (1) transact (1) properti (1) behavior (1) spatial (1) infinit (1) concurr (1) between (1)

Person: Lucia Acciai

DBLP DBLP: Acciai:Lucia

Contributed to:

FOSSACS 20102010
ICALP (2) 20092009
ESOP 20072007

Wrote 3 papers:

FoSSaCS-2010-AcciaiBZ #behaviour #logic #on the #simulation
On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.
ICALP-v2-2009-AcciaiB #behaviour #infinity #safety #π-calculus
Deciding Safety Properties in Infinite-State π-Calculus via Behavioural Types (LA, MB), pp. 31–42.
ESOP-2007-AcciaiBD #calculus #concurrent #transaction
A Concurrent Calculus with Atomic Transactions (LA, MB, SDZ), pp. 48–63.

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.