 | 2011 |
| 9 |  | Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale:
Towards a General Theory of Barbs, Contexts and Labels.
APLAS 2011: 289-304 |
| 8 |  | Fabio Gadducci,
Giacoma Valentina Monreale:
A decentralised graphical implementation of mobile ambients.
J. Log. Algebr. Program. 80(2): 113-136 (2011) |
| 2010 |
| 7 |  | Paolo Baldan,
Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously.
APLAS 2010: 424-438 |
| 6 |  | Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale,
Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems.
ICGT 2010: 123-138 |
| 5 |  | Giacoma Valentina Monreale:
LTS Semantics for Process Calculi from Their Graphical Encodings.
ICGT 2010: 403-406 |
| 2009 |
| 4 |  | Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients.
FOSSACS 2009: 272-287 |
| 3 |  | Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale:
On Barbs and Labels in Reactive Systems
SOS 2009: 46-61 |
| 2 |  | Filippo Bonchi,
Fabio Gadducci,
Giacoma Valentina Monreale:
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding).
Electr. Notes Theor. Comput. Sci. 242(1): 73-98 (2009) |
| 2008 |
| 1 |  | Fabio Gadducci,
Giacoma Valentina Monreale:
A Decentralized Implementation of Mobile Ambients.
ICGT 2008: 115-130 |