BibSonomy :: author  :: Gonzalia ::

bookmarks

publications

(5)

• Using probabilistic Kleene algebra pKA for protocol verification.
  A. K. McIver and C. Gonzalia and E. Cohen and C. C. Morgan J. Log. Algebr. Program. 76 90-111 (2008)
  to dblp by dblp on 2008-06-25 00:00:00
  | URL | BibTeX  
• Proofs and Refutations for Probabilistic Refinement.
  A. K. McIver and C. C. Morgan and C. Gonzalia FM 100-115 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• Automating Refinement Checking in Probabilistic System Design.
  Carlos Gonzalia and Annabelle McIver ICFEM 212-231 (2007)
  to dblp by dblp on 2007-10-29 00:00:00
  | URL | BibTeX  
• Towards a Formalisation of Relational Database Theory in Constructive Type Theory.
  Carlos Gonzalia RelMiCS 137-148 (2003)
  to dblp by dblp on 2004-07-06 00:00:00
  | URL | BibTeX  
• The Allegory of E-Relations in Constructive Type Theory.
  Carlos Gonzalia RelMiCS 85-94 (2000)
  to dblp by dblp on 2002-02-26 00:00:00
  | URL | BibTeX