Sfoglia per Autore
Combining Partitions in SecSpaces
2004 M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro
On the Expressive Power of Movement and Restriction in Pure Mobile Ambients
2004 BUSI N.; G. ZAVATTARO
WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services Applications
2004 R. Lucchi; G. Zavattaro
Data-Driven Coordination in Peer-to-Peer Information System
2004 BUSI N.; MONTRESOR A. ; ZAVATTARO G.
From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming
2004 S. Capizzi; R. Solmi; G. Zavattaro
Web Services for E-commerce: guaranteeing security access and quality of service
2004 M. Bravetti; R. Lucchi; G. Zavattaro; R. Gorrieri
Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)
2004 M. Bravetti; G. Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
2004 M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro
Comparing Recursion, Replication, and Iteration in Process Calculi
2004 N. BUSI; GABBRIELLI M.; G. ZAVATTARO
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
2005 M. Bravetti; L. Kloul; G. Zavattaro
Deciding Reachability in Mobile Ambients
2005 BUSI N.; G. ZAVATTARO
Towards a formal framework for Choreography
2005 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;
Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages
2005 BUSI N.; G. ZAVATTARO
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
2005 M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro
Reachability Analysis in Boxed Ambients
2005 N. Busi; G. Zavattaro
Webpi at work
2005 C. Laneve; G. Zavattaro
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference
2005 M. Steffen; G. Zavattaro
Supporting e-commerce systems formalization with choreography languages
2005 M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro
Foundations of web transactions
2005 C. Laneve; G. Zavattaro
Quantitative Information in the Tuple Space Coordination Model
2005 M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro
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 | - |
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