Search

Bibtex

John Boyland, An Operational Semantics including ‘Volatile’ for Safe Concurrency

Back