CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 10 di 10
Titolo Data di pubblicazione Autore(i) File
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
Concurrency can't be observed, asynchronously 1-gen-2010 Baldan, P.; Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
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
A modular LTS for open reactive systems 1-gen-2012 Gadducci, Fabio; Monreale, Giacoma; Montanari, UGO GIOVANNI ERASMO
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.
Encoding synchronous interactions using labelled Petri nets 1-gen-2014 Baldan, P.; Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
A general theory of barbs, contexts and labels 1-gen-2014 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
Mostra risultati da 1 a 10 di 10
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile