“…We note also that CCP has been shown to be expressive enough to encode other models of computation, different from its predecessors Concurrent Logic Programming and Constraint Logic Programming. For instance, different (fragments of) asynchronous concurrent formalisms such as the asynchronous π-calculus, Actor models, Linda, Petri nets have been encoded as (linear and higher order) CCP processes [121,181,179,127,105]. Furthermore, sequential models of computations such as the the untyped λ-calculus and Minsky machines have been encoded into CCP [179,157].…”