Similar to Guarded_Horn_Clauses

C++

Successor function

Sequential logic

Linear logic

Intuitionistic type theory

Anti-unification

Logic family

Denotational semantics

Hoare logic

Forward chaining

Unification (computer science)

Logic gate

Concurrent computing

Amoeba (operating system)

Component Object Model

Concurrency and Coordination Runtime

Earliest deadline first scheduling

Futures and promises

Least slack time scheduling

Mozart Programming System

OpenMosix

Oz (programming language)

Parallel Virtual Machine

Pthreads

ThreadWeaver

Actor model

Hidden algebra