-title: Remote Editing Protocol の実装と検証

--author: 与儀健人, 宮城健太, 河野真治

--Remote Editing Protocol の設計方針

--Protocol の構成

---Session managerの導入

---Session managerの接続protocol

sm_join

session manager id

---Session 接続 protocol

session id

editor id

join/put

select

---Editor Command

---Merge Protocol

point to point

merge ring ( nop の挿入)

merge ring ( ack の導入)

---Merge のSession Managerへの移動

非同期merge時の衝突解消

Editor のlock

--Protocol の正しさ

Merge Protocol の正しさの証明

--Protocol の実装

Session Manager

Ecplise Plug-in

Emacs 

Vim

--Socket Simulator

Java Pathfinder による検証

--検証とデバッグ

--比較