Science of Computer Programming, 0167-6423

Journal

1 - 6 out of 6Page size: 10

Publications

  1. 2017
  2. Published

    EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems

    Vincent Rahli, 15 Nov 2017, In: Science of Computer Programming. 148, p. 26-48 23 p.

    Research output: Contribution to journal › Article › peer-review

  3. 2015
  4. Published

    Formal analysis of privacy in Direct Anonymous Attestation schemes

    Mark Ryan, 1 Nov 2015, In: Science of Computer Programming. 111, 2, p. 300-317

    Research output: Contribution to journal › Article › peer-review

  5. 2014
  6. Published

    On the semantics of parsing actions

    Hayo Thielecke, 1 May 2014, In: Science of Computer Programming. 84, p. 52-76

    Research output: Contribution to journal › Article › peer-review

  7. 2007
  8. Published

    Capability passing processes

    Tom Chothia, 15 May 2007, In: Science of Computer Programming. 66, 3, p. 184-204 21 p.

    Research output: Contribution to journal › Article

  9. 2004
  10. Published

    Correctness of data representations involving heap data structures

    Uday Reddy, 1 Jan 2004, In: Science of Computer Programming. 50, 1-3, p. 129-160 32 p.

    Research output: Contribution to journal › Article › peer-review

  11. 2001
  12. Published

    Feature Integration using a Feature Construct

    Mark Ryan, 1 Sep 2001, In: Science of Computer Programming. 41, 1, p. 53-84 32 p.

    Research output: Contribution to journal › Article