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 × 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 DBLP: Monreale:Giacoma_Valentina

Contributed to:

ICGT 20102010
FOSSACS 20092009
ICGT 20082008

Wrote 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.

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.