Science of Computer Programming, 0167-6423

Journal

Publications

  1. 2017
  2. Published

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

    Vincent Rahli, Guaspari, D., Bickford, M. & Constable, R. L., 15 Nov 2017, In : Science of Computer Programming. 148, p. 26-48 23 p.

    Research output: Contribution to journalArticle

  3. 2015
  4. Published

    Formal analysis of privacy in Direct Anonymous Attestation schemes

    Smyth, B., Mark Ryan & Chen, L., 1 Nov 2015, In : Science of Computer Programming. 111, 2, p. 300-317

    Research output: Contribution to journalArticle

  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 journalArticle

  7. 2007
  8. Published

    Capability passing processes

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

    Research output: Contribution to journalArticle

  9. 2004
  10. Published

    Correctness of data representations involving heap data structures

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

    Research output: Contribution to journalArticle

  11. 2001
  12. Published

    Feature Integration using a Feature Construct

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

    Research output: Contribution to journalArticle