 | 2009 |
|---|
| 7 |       | August Climent,
Joan Navarro,
Miquel Bertran,
Francesc-Xavier Babot:
Optimistic concurrency control with partial replication design.
IADIS AC (2) 2009: 181-186 |
| 2007 |
|---|
| 6 |  | Miquel Bertran,
Francesc-Xavier Babot,
August Climent:
Formal Sequentialization of Distributed Systems via Program Rewriting.
Electr. Notes Theor. Comput. Sci. 188: 53-75 (2007) |
| 2005 |
|---|
| 5 | | Francesc-Xavier Babot,
Miquel Bertran,
August Climent:
A Static Communication Elimination Algorithm for Distributed System Verification.
ICFEM 2005: 375-389 |
| 4 | | Miquel Bertran,
Francesc-Xavier Babot,
August Climent:
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Electr. Notes Theor. Comput. Sci. 137(1): 25-46 (2005) |
| 2003 |
|---|
| 3 | | 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.
ISPDC 2003: 64-71 |
| 2002 |
|---|
| 2 | | Miquel Bertran,
Albert Duran,
Miquel Porta,
Francesc-Xavier Babot,
August Climent,
Miquel Nicolau:
Integrating Formal Verification of Parallelization in the PADD/RALE Environment.
JISBD 2002: 305-314 |
| 2001 |
|---|
| 1 | | Miquel Bertran,
Francesc-Xavier Babot,
August Climent,
Miquel Nicolau:
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
SAS 2001: 20-39 |
Data released under the ODC-BY 1.0 license — See also our legal information page