ライブロック

並行処理を行っているにも関わらず、プログラムの状態が全く変わっていないプログラム

内部遷移の循環ができると，自発的な遷移を繰り返し外部と相互作用ができなくなる現象