CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 91
Titolo Autore(i) Anno Periodico Editore Tipo File
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 -
Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions M. Bravetti; P. R. D'Argenio 2004-01-01 - Springer 2.01 Capitolo / saggio in libro -
Two Formal Approaches for Approximating Noninterference Properties A.Aldini; M.Bravetti; A.Di Pierro; R.Gorrieri; C.Hankin; H.Wiklicky 2004-01-01 - Springer 2.01 Capitolo / saggio in libro -
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 -
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 -
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time M. Bravetti; R. Gorrieri 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 -
Real Time and Stochastic Time M. Bravetti 2004-01-01 - Springer 2.01 Capitolo / saggio in libro -
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference A.Aldini; M.Bravetti; R.Gorrieri 2004-01-01 JOURNAL OF COMPUTER SECURITY - 1.01 Articolo in rivista -
Security Issues in the Tuple-Space Coordination Model M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; 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 -
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 -
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 -
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 -
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra M. Bravetti; J. Baeten 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Stochastic and Real Time in Process Algebra: A Conceptual Overview M. Bravetti 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
From Theoretical e-barter Models to an Implementation Based on Web Services M. Bravetti; A. Casalboni; M. Nunez; I. Rodriguez 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Service Oriented Computing: A New Challenge for Process Algebras M. Bravetti; G. Zavattaro 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Elsevier 4.01 Contributo in Atti di convegno -
YMCA -Why Markov Chain Algebra? M. Bravetti; H. Hermanns; J.-P. Katoen 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
A Generic Process Algebra J.C.M. Baeten; M. Bravetti 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE Elsevier 4.01 Contributo in Atti di convegno -
Mostrati risultati da 1 a 20 di 91
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