 | 2011 |
|---|
| 10 |       | Thomas Sewell,
Simon Winwood,
Peter Gammie,
Toby C. Murray,
June Andronick,
Gerwin Klein:
seL4 Enforces Integrity.
ITP 2011: 325-340 |
| 9 | | Peter Gammie:
Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments.
ITP 2011: 87-102 |
| 8 | | Peter Gammie:
Knowledge-based programs.
Archive of Formal Proofs 2011: (2011) |
| 7 | | Peter Gammie:
Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin.
J. Funct. Program. 21(1): 115-117 (2011) |
| 6 | | Peter Gammie:
Short note: Strict unwraps make worker/wrapper fusion totally correct.
J. Funct. Program. 21(2): 209-213 (2011) |
| 2009 |
|---|
| 5 | | Peter Gammie:
The Worker/Wrapper Transformation.
Archive of Formal Proofs 2009: (2009) |
| 4 | | Peter Gammie:
Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp.
J. Funct. Program. 19(2): 254-256 (2009) |
| 2008 |
|---|
| 3 | | Peter Gammie:
Some classical results in Social Choice Theory.
Archive of Formal Proofs 2008: (2008) |
| 2007 |
|---|
| 2 | | Kai Engelhardt,
Peter Gammie,
Ron van der Meyden:
Model Checking Knowledge and Linear Time: PSPACE Cases.
LFCS 2007: 195-211 |
| 2004 |
|---|
| 1 | | Peter Gammie,
Ron van der Meyden:
MCK: Model Checking the Logic of Knowledge.
CAV 2004: 479-483 |
Data released under the ODC-BY 1.0 license — See also our legal information page