Items where Author / Artist / Editor is "Alglave, Jade"
![]() | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Other
Number of items: 1.
Other
Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Alglave, Jade and Parkinson, Matthew
(2016)
New lace and arsenic: adventures in weak memory with a program logic (v2).
arXiv, arXiv.org.
[Other]
(doi:10.48550/arXiv.1512.01416)