So what?

• Model leads to more efficient implementations

  • belief sets can be represented by finite pushdown automaton
  • security-passing style
    • a la continuation passing style
    • add an implicit argument to every procedure

• Can be applied to RPCs too

Previous slide

Next slide

Back to first slide

View graphic version