CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 61 a 90 di 169
Titolo Data di pubblicazione Autore(i) File
On the use of behavioural equivalences for web services' development 1-gen-2008 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Synthesising CCS bisimulation using graph rewriting 1-gen-2009 Bonchi, F.; Gadducci, Fabio; König, B.
A net-based approach to Web services publication and replaceability 1-gen-2009 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
A note on an old-fashioned algebra for (disconnected) graphs 1-gen-2009 Gadducci, Fabio
Labelled transitions for Mobile Ambients (as synthesized via a graphical encoding) 1-gen-2009 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
A graph syntax for processes and services 1-gen-2009 Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, Alberto
Reactive systems, barbed semantics, and the Mobile Ambients 1-gen-2009 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
Encoding asynchronous interactions using open Petri nets 1-gen-2009 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
On barbs and labels in reactive systems 1-gen-2009 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
Views on Designing Complex Architectures, Third International Workshop (VODCA 2008) 1-gen-2009 Aldini, A.; ter Beek, M.; Gadducci, Fabio
Architecting Dependable Systems VI 1-gen-2009 de Lemos, R.; Fabre, J. C.; Gacek, C.; Gadducci, Fabio; ter Beek, M.
Concurrency can't be observed, asynchronously 1-gen-2010 Baldan, P.; Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
An institution for graph transformation 1-gen-2010 Corradini, Andrea; Gadducci, Fabio; Ribeiro, L.
An algebra of hierarchical graphs 1-gen-2010 Bruni, Roberto; Gadducci, Fabio; Lluch Lafuente, A.
Counterpart semantics for a second-order μ-calculus 1-gen-2010 Gadducci, Fabio; Lluch Lafuente, A.; Vandin, A.
An Algebra of Hierarchical Graphs and its Application to Structural Encoding 1-gen-2010 Bruni, Roberto; Gadducci, Fabio; LLUCH LAFUENTE, A.
Saturated LTSs for adhesive rewriting systems 1-gen-2010 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina; Montanari, UGO GIOVANNI ERASMO
Extending soft arc consistency algorithms to non-invertible semirings 1-gen-2010 Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma; Santini, Francesco
On gs-monoidal theories for graphs with nesting 1-gen-2010 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO
From Petri Nets to Graph Transformation Systems 1-gen-2010 Baldan, P; Corradini, Andrea; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Adhesivity is not enough: Local Church-Rosser revisited 1-gen-2011 Baldan, P.; Gadducci, Fabio; Sobocinski, P.
Preface 1-gen-2011 Gadducci, Fabio; Mariani, Leonardo
A decentralized graphical implementation of mobile ambients 1-gen-2011 Gadducci, Fabio; Monreale, Giacoma
Hierarchical models for service-oriented systems 1-gen-2011 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; LLUCH LAFUENTE, A; Montanari, UGO GIOVANNI ERASMO
Towards a general theory of barbs, contexts and labels 1-gen-2011 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma
Graph Transformation and Visual Modeling Techniques, 10th International Workshop (GT-VMT 2011) 1-gen-2011 Gadducci, Fabio; Mariani, L.
A modular LTS for open reactive systems 1-gen-2012 Gadducci, Fabio; Monreale, Giacoma; Montanari, UGO GIOVANNI ERASMO
Counterpart semantics for a second-order μ-calculus 1-gen-2012 Gadducci, Fabio; Lluch Lafuente, A.; Vandin, A.
Exploiting over- and under-approximations for infinite-state counterpart models 1-gen-2012 Gadducci, Fabio; LLUCH LAFUENTE, Alberto; Vandin, A.
Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude 1-gen-2012 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, A; Vandin, A.
Mostra risultati da 61 a 90 di 169
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