Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 154
Titolo Autore(i) Anno Periodico Editore Tipo File
Combining Partitions in SecSpaces M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients BUSI N.; G. ZAVATTARO 2004-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services Applications R. Lucchi; G. Zavattaro 2004-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
Data-Driven Coordination in Peer-to-Peer Information System BUSI N.; MONTRESOR A. ; ZAVATTARO G. 2004-01-01 INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS - 1.01 Articolo in rivista -
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming S. Capizzi; R. Solmi; G. Zavattaro 2004-01-01 - Springer 4.01 Contributo in Atti di convegno -
Web Services for E-commerce: guaranteeing security access and quality of service M. Bravetti; R. Lucchi; G. Zavattaro; R. Gorrieri 2004-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004) M. Bravetti; G. Zavattaro 2004-01-01 - Elsevier 3.02 Curatela -
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro 2004-01-01 - Springer 4.01 Contributo in Atti di convegno -
Comparing Recursion, Replication, and Iteration in Process Calculi N. BUSI; GABBRIELLI M.; G. ZAVATTARO 2004-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005 M. Bravetti; L. Kloul; G. Zavattaro 2005-01-01 - Springer 3.02 Curatela -
Deciding Reachability in Mobile Ambients BUSI N.; G. ZAVATTARO 2005-01-01 - - 4.01 Contributo in Atti di convegno -
Towards a formal framework for Choreography N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro; 2005-01-01 - s.n 4.01 Contributo in Atti di convegno -
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages BUSI N.; G. ZAVATTARO 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro 2005-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Reachability Analysis in Boxed Ambients N. Busi; G. Zavattaro 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Webpi at work C. Laneve; G. Zavattaro 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference M. Steffen; G. Zavattaro 2005-01-01 - Springer 3.02 Curatela -
Supporting e-commerce systems formalization with choreography languages M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro 2005-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
Foundations of web transactions C. Laneve; G. Zavattaro 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Quantitative Information in the Tuple Space Coordination Model M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro 2005-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Mostrati risultati da 1 a 20 di 154
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