LUCCHI, ROBERTO

LUCCHI, ROBERTO  

DIP. DI SCIENZE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.043 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Choreography and Orchestration Conformance for System Design N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro 2006-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
Choreography and Orchestration: A Synergic Approach for System Design N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
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 -
JOLIE: a Java Orchestration Language Interpreter Engine F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro: 2007-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 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 -
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 -
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 -
Reasoning about interaction patterns in Choreography R. Gorrieri; C. Guidi; R. Lucchi 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Secure shared data-space Coordination Languages: a Process Algebraic survey R. Focardi; R. Lucchi; G. Zavattaro 2006-01-01 SCIENCE OF COMPUTER PROGRAMMING - 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 -
Sensoria Process Calculi for Service-Oriented Computing M. Wirsing; R. De Nicola; S. Gilmore; M. Holzl; R. Lucchi; M. Tribastone; G. Zavattaro 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
SOCK : A Calculus for Service Oriented Computing C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
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 -
Supporting Secure Coordination in SecSpaces R.Gorrieri; R.Lucchi; G.Zavattaro 2006-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
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 -
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 -
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 -