Computation model -- distributed logic

objects -- state + methods
processes -- to evaluate goals
communication -- \c{backtrackable} rendezvous

slide: DLP -- objects (2)