COMPUTATION
Logics and calculi that give formal meaning to the behavior of programs and processes: how computation proceeds, what a program denotes, and how concurrent and mobile systems interact. The unifying concern is the semantics of computation rather than the proof of its correctness.
Entries include the three classical semantics (operational, denotational, axiomatic) and the domain theory underpinning denotation; the process and concurrency calculi (pi and ambient calculus, process algebra and calculus, actor model, Petri nets, chemical abstract machine, membrane computing, interaction nets, bigraphs); the rewriting and equational systems (rewriting logic, equational logic, matching logic, relational algebra); and the calculus-level tools (nominal and pointer logic, constraint logic programming, computability logic, coalgebraic logic, abstract interpretation, logical frameworks).