文書操作
Shared Actions
定義
複数のプロセスが共通の action を持つとき，その action は shared であるという．Shared action によってプロセスの相互作用はモデル化される．Shared でない action は任意にインタリーブできるが，shared action はそれを共有するすべての process によって同時に実行されなければならない．
サンプル
BILL = (play -> meet -> apart->BILL).
BEN = (work -> meet -> apart->BEN).
||BILL_BEN = (BILL || BEN).
BILL は遊んで，BEN は働いた後に，2人が会って別れるプロセス．meet, apart アクションは同時に起こる．
LTS は以下のようになる．
