定義

複数のプロセスが共通の 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 は以下のようになる．