Our Research Issues for AMOs

• Language design

• Language Semantics/Computation Models

  • Calculus of mobile objects ([Sekiguchi97,98])
    • other distributed calculi (D-pi-calculus and D-Join-Calculus) do not treat AMOs
  • Linear Modal Logic Model ([Kobayashi98])

• Language-based security concepts

• Implementation level security measures

Previous slide

Next slide

Back to first slide

View graphic version