MONREALE, GIACOMA Statistiche
MONREALE, GIACOMA
DIPARTIMENTO DI INFORMATICA
A general theory of barbs, contexts and labels
2014-01-01 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
Encoding synchronous interactions using labelled Petri nets
2014-01-01 Baldan, P.; Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
Barbed semantics for open reactive systems
2013-01-01 Gadducci, Fabio; Monreale, Giacoma
Soft constraints for lexicographic orders
2013-01-01 Gadducci, Fabio; Hoelzl, M.; Monreale, Giacoma; Wirsing, M.
A modular LTS for open reactive systems
2012-01-01 Gadducci, Fabio; Monreale, Giacoma; Montanari, UGO GIOVANNI ERASMO
A decentralized graphical implementation of mobile ambients
2011-01-01 Gadducci, Fabio; Monreale, Giacoma
Towards a general theory of barbs, contexts and labels
2011-01-01 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma
Concurrency can't be observed, asynchronously
2010-01-01 Baldan, P.; Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding)
2009-01-01 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
On barbs and labels in reactive systems
2009-01-01 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A general theory of barbs, contexts and labels | 1-gen-2014 | Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma | |
| Encoding synchronous interactions using labelled Petri nets | 1-gen-2014 | Baldan, P.; Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma | |
| Barbed semantics for open reactive systems | 1-gen-2013 | Gadducci, Fabio; Monreale, Giacoma | |
| Soft constraints for lexicographic orders | 1-gen-2013 | Gadducci, Fabio; Hoelzl, M.; Monreale, Giacoma; Wirsing, M. | |
| A modular LTS for open reactive systems | 1-gen-2012 | Gadducci, Fabio; Monreale, Giacoma; Montanari, UGO GIOVANNI ERASMO | |
| A decentralized graphical implementation of mobile ambients | 1-gen-2011 | Gadducci, Fabio; Monreale, Giacoma | |
| Towards a general theory of barbs, contexts and labels | 1-gen-2011 | Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma | |
| Concurrency can't be observed, asynchronously | 1-gen-2010 | Baldan, P.; Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma | |
| Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding) | 1-gen-2009 | Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma | |
| On barbs and labels in reactive systems | 1-gen-2009 | Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma |