Computation model
-- distributed
logic
objects
-- state + methods
processes
-- to evaluate goals
communication
-- \c{backtrackable} rendezvous
slide
:
DLP -- objects (2)