Communicating and Mobile Systems: The Pi-Calculus
3.1 Labelled transition systems
ラベル付遷移システム。
LTS over Act は、次のような(Q, T)である。
- Q は states の set
- T は transition relationのset。T⊆(Q × Act × Q)
3.2 Strong simulation
読み中。
日本語の上記本の解説を発見。
http://kaiya.cs.shinshu-u.ac.jp/pub/pi/