CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 31 a 60 di 169
Titolo Data di pubblicazione Autore(i) File
Normal forms for algebras of connections 1-gen-2002 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Generalized Rewrite Theories 1-gen-2003 Bruni, Roberto; Meseguer, J.
Algebraic Theories for Contextual Pre-nets 1-gen-2003 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 1-gen-2003 Baldan, P; Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Nested Commits for Mobile Calculi: Extending Join 1-gen-2004 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
Concurrent models for Linda with transactions 1-gen-2004 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO
Tiling transactions in rewriting logic 1-gen-2004 Bruni, Roberto; Meseguer, J; Montanari, UGO GIOVANNI ERASMO
New Insights on Architectural Connectors 1-gen-2004 Bruni, Roberto; FIADEIRO J., L; Lanese, I; Lopes, A; Montanari, UGO GIOVANNI ERASMO
Modeling Fresh Names in pi-calculus Using Abstractions 1-gen-2004 Bruni, Roberto; Honsell, F; Lenisa, M; Miculan, M.
Community, tiles and connectors 1-gen-2004 Bruni, Roberto
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets 1-gen-2004 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
Flat Committed Join in Join 1-gen-2004 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
Complete Axioms for Stateless Connectors 1-gen-2005 Bruni, Roberto; Lanese, I; Montanari, UGO GIOVANNI ERASMO
Deriving Weak Bisimulation Congruences from Reduction Systems 1-gen-2005 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO; Sobocinski, P.
Symbolic Equivalences for Open Systems 1-gen-2005 Baldan, P; Bracciali, A; Bruni, Roberto
Comparing Two Approaches to Compensable Flow Composition 1-gen-2005 Bruni, Roberto; BUTLER M., J; Ferreira, C; HOARE C. A., R; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
Theoretical foundations for compensations in flow composition languages 1-gen-2005 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
On Graph(ic) Encodings 1-gen-2005 Bruni, Roberto; Lanese, I.
From Theory to Practice in Transactional Composition of Web Services 1-gen-2005 Bruni, Roberto; Ferrari, GIAN-LUIGI; Melgratti, H; Montanari, UGO GIOVANNI ERASMO; Strollo, D; Tuosto, E.
Observational congruences for dynamically reconfigurable tile systems 1-gen-2005 Bruni, Roberto; Montanari, UGO GIOVANNI ERASMO; Sassone, V.
SCC: A Service Centered Calculus 1-gen-2006 Boreale, M; Bruni, Roberto; Caires, L; DE NICOLA, R; Lanese, I; Loreti, M; Martins, F; Montanari, UGO GIOVANNI ERASMO; Ravara, A; Sangiorgi, D; Vasconcelos, V; Zavattaro, G.
Non-sequential Behaviour of Dynamic Nets 1-gen-2006 Bruni, Roberto; Melgratti, H.
Event Structure Semantics for Nominal Calculi 1-gen-2006 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
Translating Orc Features into Petri Nets and the Join Calculus 1-gen-2006 Bruni, Roberto; Melgratti, H; Tuosto, E.
Dynamic Graph Transformation Systems 1-gen-2006 Bruni, Roberto; Melgratti, H.
A basic algebra of stateless connectors 1-gen-2006 Bruni, Roberto; Lanese, I; Montanari, UGO GIOVANNI ERASMO
Semantic foundations for generalized rewrite theories 1-gen-2006 Bruni, Roberto; Meseguer, J.
Event Structure Semantics for Dynamic Graph Grammars 1-gen-2007 Bruni, Roberto; Melgratti, H; Montanari, UGO GIOVANNI ERASMO
PRISMA: A mobile calculus with parameterized synchronization 1-gen-2007 Bruni, Roberto; Lanese, I.
A semantic framework for open processes 1-gen-2007 Baldan, P; Bracciali, A; Bruni, Roberto
Mostra risultati da 31 a 60 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