Search the dblp DataBase

Publications of Author

1. Francesc-Xavier Babot, Miquel Bertran, August Climent
   A Static Communication Elimination Algorithm for Distributed System Verification. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2005, pp:375-389 [Conf]
   
2. August Climent, Miquel Bertran, Francesc-Xavier Babot, Josep M. Muixi
   Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems. [Citation Graph (0, 0)][DBLP]
   ISPDC, 2003, pp:64-71 [Conf]
   
3. Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau
   Integrating Formal Verification of Parallelization in the PADD/RALE Environment. [Citation Graph (0, 0)][DBLP]
   JISBD, 2002, pp:305-314 [Conf]
   
4. Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau
   Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   SAS, 2001, pp:20-39 [Conf]
   
5. Miquel Bertran, Francesc-Xavier Babot, August Climent
   An Input/Output Semantics for Distributed Program Equivalence Reasoning. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:25-46 [Journal]
   
6. Miquel Bertran, Francesc-Xavier Babot, August Climent
   Formal Sequentialization of Distributed Systems via Program Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:53-75 [Journal]
   
7. 
   Optimistic concurrency control with partial replication design. [Citation Graph (, )][DBLP]