Search the dblp DataBase

Publications of Author

1. Laura Bocchi, Paolo Ciancarini
   A Perspective on Multiagent Coordination Models. [Citation Graph (0, 0)][DBLP]
   Communication in Multiagent Systems, 2003, pp:146-163 [Conf]
   
2. Laura Bocchi, Paolo Ciancarini, Davide Rossi
   Transactional Aspects in Semantic Based Discovery of Services. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2005, pp:283-297 [Conf]
   
3. Laura Bocchi, Roberto Lucchi
   Atomic Commit and Negotiation in Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2006, pp:16-27 [Conf]
   
4. Laura Bocchi
   Compositional Nested Long Running Transactions. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:194-208 [Conf]
   
5. Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
   A Calculus for Long-Running Transactions. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2003, pp:124-138 [Conf]
   
6. Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi
   An OWL-S based approach to express grid services coordination. [Citation Graph (0, 0)][DBLP]
   SAC, 2005, pp:1661-1667 [Conf]
   
7. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
   A Formal Approach to Service Component Architecture. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:193-213 [Conf]
   
8. Laura Bocchi, Lucian Wischik
   A Process Calculus of Atomic Commit. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:119-132 [Journal]
   
9. Laura Bocchi, Paolo Ciancarini
   On the Impact of Formal Methods in the SOA. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:113-126 [Journal]
   
10. João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
    Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:358-373 [Conf]
    
11. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
    Algebraic Semantics of Service Component Modules. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:37-55 [Conf]
    
12. 
    Service-Oriented Modelling of Automotive Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    A Theory of Design-by-Contract for Distributed Multiparty Interactions. [Citation Graph (, )][DBLP]
    
    
14. 
    Engineering Service Oriented Applications: From StPowla Processes to SRML Models. [Citation Graph (, )][DBLP]
    
    
15. 
    Testing Attribute-Based Transactions in SOC. [Citation Graph (, )][DBLP]
    
    
16. 
    A Use-Case Driven Approach to Formal Service-Oriented Modelling. [Citation Graph (, )][DBLP]
    
    
17. 
    From BPEL to SRML: A Formal Transformational Approach. [Citation Graph (, )][DBLP]
    
    
18. 
    Structure and Behaviour of Virtual Organisation Breeding Environments [Citation Graph (, )][DBLP]
    
    
19. 
    From Architectural to Behavioural Specification of Services. [Citation Graph (, )][DBLP]