MONREALE, GIACOMA Statistiche

MONREALE, GIACOMA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.025 secondi).
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