Alasdair Armstrong
1PUBLICATIONS
0CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (1)
Sort by Publication Date:
|Oct 24, 2024
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version).Alasdair Armstrong, Brian Campbell, Ben Simner
Pageof 1
