{{Cat main|Denotational semantics}}
Category:Concurrency (computer science)
Category:Concurrent computing
Category:Models of computation
Category:Logic in computer science
Category:Formal specification languages
Category:Mathematics of computing
Category:Programming language semantics