ﾉ大v饂ﾇﾃ�庭ﾋ�_

ﾉ大v饂ﾇﾕ�蒟�醯�p蚣ﾇ包\ﾇ�迚險ﾇﾃ�ﾃ蚣ﾇｻﾇﾃﾇｩﾅH

Parallelism

Naming, Restriction, Abstraction

Sending, Receiving

ﾇｵﾇｩﾇｵﾅABinding 腟�Oﾇ� Guarding 腟�Oﾇ∫ｨ銜

Binding 腟�Oﾇ� Guarding 腟�Oﾇﾃ�♭｣ ﾅｮ Action Structure ﾅmMilner93]

�Oﾇﾃ�ﾗｾ滿

迚鞣ﾇﾃ�ﾗｾ滿ﾇ寄�ﾇﾈ

ｽﾞﾗﾃｮﾘｽ�ﾇﾃ�\鮓