Conferences (refereed)
Mechanical Analysis of Reliable Communication Using the Maude Invariant Analyzer Tool in the Alternating Bit Protocol.
Mechanical Analysis of Reliable Communication Using the Maude Invariant Analyzer Tool in the Alternating Bit Protocol.
Theorem Proving Based on Boolean Equational Procedures.
Theorem Proving Based on Boolean Equational Procedures.
Camilo Rocha and José Meseguer. 10th International Conference on Relational Methods in Computer Science/Fifth International Conference on Applications of Kleene Algebra (RelMiCS10/AKA5). Frauenwörth, April 2008.
Assisted Calculational Proofs and Proof Checking Based on Partial Orders.
Assisted Calculational Proofs and Proof Checking Based on Partial Orders.
Jaime Bohórquez and Camilo Rocha. Formal Methods in Computer Science Education 2008 (FORMED). Budapest, March 2008.
Una Semántica de Ensamblaje y Composición de Servicios y Componentes.
Una Semántica de Ensamblaje y Composición de Servicios y Componentes.
Camilo Rocha, Rafael García and Rubby Casallas. 9a Conferencia Iberoamericana de Software Engineering (CIbSE 2006) La Plata, April 2006.