Science of Computer Programming, 0167-6423
Journal
1 - 6 out of 6Page size: 10
Publications
- 2017
- 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
- 2015
- Published
Formal analysis of privacy in Direct Anonymous Attestation schemes
Mark Ryan, 1 Nov 2015, In: Science of Computer Programming. 111, 2, p. 300-317Research output: Contribution to journal › Article › peer-review
- 2014
- Published
On the semantics of parsing actions
Hayo Thielecke, 1 May 2014, In: Science of Computer Programming. 84, p. 52-76Research output: Contribution to journal › Article › peer-review
- 2007
- 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
- 2004
- 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
- 2001
- 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