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: Acciai:Lucia
Contributed to:
2010
2009
2007Wrote 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.