1. Partial-Order Reduction in Symbolic State-Space Exploration;Alur;Formal Methods in System Design,2001
2. A Static Communication Elimination Algorithm for Distributed System Verification;Babot,2001
3. Francesc Babot, Miquel Bertran, Jordi Riera, Ricard Puig, and August Climent. Mechanized Equivalence Proofs of Pipelined Processor Software Models. In Actas de las III Jornadas de Programación y Lenguajes, pages 91–104, Alicante, November 2003. Universitat d'Alacant
4. Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs;Bertran,2001
5. An Input/output Semantics for Distributed Program Equivalence Reasoning;Bertran;Electronic Notes in Theoretical Computer Science,2005