Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kathryn E. Gray
Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
ACM SIGPLAN Notices
Computer Science
Logical Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Balancing Disruption and Deployability in the CHERI Instruction-Set Architecture (ISA)
An Architecture for Integrating Concurrency Control Into Environment Frameworks
Modelling and Evaluation of Multiprocessor Architecture
International Journal of Computer Applications
Let's Think Operationally
BMJ
Unlocking Concurrency
Queue
Computer Science
Software and the Concurrency Revolution
Queue
Computer Science
An Experience in Modelling Business Process Architecture
Communications in Computer and Information Science
Mathematics
Computer Science
Coalgebra, Concurrency, and Control
International Seabed Authority (ISA)
