Carlos Gonzalía

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

A. K. McIver, Carlos Gonzalía, E. Cohen, Carroll C. Morgan
Using probabilistic Kleene algebra pKA for protocol verification. J. Log. Algebraic Methods Program. 76 (1) (2008)
A. K. McIver, Carroll C. Morgan, Carlos Gonzalía
Proofs and Refutations for Probabilistic Refinement. FM (2008)
Carlos Gonzalía, Annabelle McIver
Automating Refinement Checking in Probabilistic System Design. ICFEM (2007)
Carlos Gonzalía
Towards a Formalisation of Relational Database Theory in Constructive Type Theory. RelMiCS (2003)
Carlos Gonzalía
The Allegory of E-Relations in Constructive Type Theory. RelMiCS (2000)