Timeout
Computer science
Programming language
Compiler
Asynchronous communication
Process calculus
Communicating sequential processes
Queue
Process (computing)
Hoare logic
Algebraic number
Theoretical computer science
Correctness
Semantics (computer science)
Mathematics
Operational semantics
Computer network
Mathematical analysis
