Login / Signup

Unifying Semantics for Concurrent Programming.

Tony Hoare
Published in: Computation, Logic, Games, and Quantum Foundations (2013)
Keyphrases
  • concurrent programming
  • programming language
  • formal semantics
  • concurrent programs
  • machine learning
  • logic programming
  • resource allocation