CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 117
Titolo Autore(i) Anno Periodico Editore Tipo File
A Graphical Fusion Calculus LANESE I.; MONTANARI U. 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Elsevier B.V. 4.01 Contributo in Atti di convegno -
Synchronization Algebras with Mobility for Graph Transformations LANESE I.; MONTANARI U. 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Elsevier B.V. 4.01 Contributo in Atti di convegno -
New Insights on Architectural Connectors BRUNI R.; FIADEIRO J. L.; LANESE I.; LOPES A.; MONTANARI U. 2004-01-01 - Kluwer Academics 4.01 Contributo in Atti di convegno -
Complete Axioms for Stateless Connectors BRUNI R.; LANESE I.; MONTANARI U. 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Insights Emerged while Comparing Three Models for Global Computing Lanese I.; Montanari U. 2005-01-01 - Schloss Dagstuhl 4.01 Contributo in Atti di convegno -
Summary 3: On Graph(ic) Encodings BRUNI R.; LANESE I. 2005-01-01 - Schloss Dagstuhl 4.01 Contributo in Atti di convegno -
Synchronized Hyperedge Replacement for Heterogeneous Systems LANESE I.; TUOSTO E. 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Towards a Unifying Theory for Web Services Composition MAZZARA M.; LANESE I. 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
A Basic Algebra of Stateless Connectors R. BRUNI; I. LANESE; U. MONTANARI 2006-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
SCC: a Service Centered Calculus M. Boreale; R. Bruni;
L. Caires; R. De Nicola; I. Lanese; M. Loreti;
F. Martins;
U. Montana...ri; A. Ravara;
D. Sangiorgi; V. Vasconcelos; G. Zavattaro; 		2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility LANESE I.; MONTANARI U. 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Elsevier B.V. 4.01 Contributo in Atti di convegno -
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing FERRARI G. L.; HIRSCH D.; LANESE I.; MONTANARI U.; TUOSTO E. 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
PRISMA: A Mobile Calculus with Parametric Synchronization BRUNI R; LANESE I. 2007-01-01 - Springer 4.01 Contributo in Atti di convegno -
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming I. LANESE; U. MONTANARI 2007-01-01 THEORY AND PRACTICE OF LOGIC PROGRAMMING - 1.01 Articolo in rivista -
Disciplining Orchestration and Conversation in Service-Oriented Computing LANESE I.; VASCONCELOS V.T.; MARTINS F.; RAVARA A. 2007-01-01 - IEEE Computer Society Press 4.01 Contributo in Atti di convegno -
Concurrent and Located Synchronizations in Pi-Calculus LANESE I. 2007-01-01 - Springer 4.01 Contributo in Atti di convegno -
Exploiting User-Definable Synchronizations in Graph Transformation Lanese I. 2008-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Elsevier B.V 4.01 Contributo in Atti di convegno -
Dynamic fault handling mechanisms for service-oriented applications F. Montesi; C. Guidi; I. Lanese; G. Zavattaro 2008-01-01 - IEEE Computer Society Press 4.01 Contributo in Atti di convegno -
Bridging the Gap between Interaction- and Process-Oriented Choreographies I. Lanese; C. Guidi; F. Montesi; G. Zavattaro 2008-01-01 - IEEE Computer Society Press 4.01 Contributo in Atti di convegno -
Parametric synchronizations in mobile nominal calculi R. Bruni; I. Lanese 2008-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Mostrati risultati da 1 a 20 di 117
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