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