Travelled to:1 × The Netherlands
2 × United Kingdom
Collaborated with:F.Gadducci F.Bonchi ∅ U.Montanari
Talks about:ambient (2) system (2) semant (2) mobil (2) implement (1) reactiv (1) process (1) graphic (1) decentr (1) calculi (1)
Person: Giacoma Valentina Monreale
DBLP: Monreale:Giacoma_Valentina
Contributed to:
2010
20092008Wrote 4 papers:
- ICGT-2010-BonchiGMM #lts #term rewriting
- Saturated LTSs for Adhesive Rewriting Systems (FB, FG, GVM, UM), pp. 123–138.
- ICGT-2010-Monreale #automaton #calculus #encoding #lts #process #semantics #visual notation
- LTS Semantics for Process Calculi from Their Graphical Encodings (GVM), pp. 403–406.
- FoSSaCS-2009-BonchiGM #mobile #semantics
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (FB, FG, GVM), pp. 272–287.
- ICGT-2008-GadducciM #distributed #implementation #mobile
- A Decentralized Implementation of Mobile Ambients (FG, GVM), pp. 115–130.