Further Research

• Relation with theorical works (e.g. process calculus, regular types, ...)
• Implementation, accumlate programming experience.
• Distributed implementation.