CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 104
Titolo Data di pubblicazione Autore(i) File
Process bisimulation via a graphical encoding 1-gen-2006 Bonchi, Fabio; Gadducci, Fabio; König, Barbara
Saturated Semantics for Reactive Systems 1-gen-2006 Bonchi, F; Koenig, B; Montanari, UGO GIOVANNI ERASMO
Coalgebraic Models for Reactive Systems 1-gen-2007 Bonchi, F; Montanari, UGO GIOVANNI ERASMO
A behavioural congruence for web services 1-gen-2007 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Symbolic Semantics Revisited 1-gen-2008 Bonchi, Filippo; Montanari, UGO GIOVANNI ERASMO
Parallel and sequential independence for borrowed contexts 1-gen-2008 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
A category of explicit fusions 1-gen-2008 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
Compositional specification of web services via behavioural equivalence of nets: A case study 1-gen-2008 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
On the use of behavioural equivalences for web services' development 1-gen-2008 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Preface 1-gen-2009 Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio
Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding) 1-gen-2009 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
Encoding asynchronous interactions using open Petri nets 1-gen-2009 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
Deriving syntax and axioms for quantitative regular behaviours 1-gen-2009 Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves 1-gen-2009 Bonchi, F; Montanari, UGO GIOVANNI ERASMO
A net-based approach to Web services publication and replaceability 1-gen-2009 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Reactive systems, barbed semantics, and the Mobile Ambients 1-gen-2009 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
Synthesising CCS bisimulation using graph rewriting 1-gen-2009 Bonchi, F.; Gadducci, Fabio; König, B.
On barbs and labels in reactive systems 1-gen-2009 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
Saturated LTSs for adhesive rewriting systems 1-gen-2010 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina; Montanari, UGO GIOVANNI ERASMO
Concurrency can't be observed, asynchronously 1-gen-2010 Baldan, P.; Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
Mostra risultati da 1 a 20 di 104
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