sequential(逐次)

代数演算子

seqential ';' は P;Q で、プロセスP,Q の逐次処理を表わす。ただし、プロセスP が SKIP になったときにのみプロセスQに実行が移る。

２回の販売で終了する自動販売機は以下のように書けた。

channel coin, juice
VM2 = coin -> juice -> coin -> juice -> SKIP

このプロセスVM2は ';' を使って次のように書くこともできる。

 VM = coin -> juice -> SKIP
 VM2 = VM ; VM
 -- VMはイベントではないので、VM -> VM と記述するのは誤り。

プロセスVM2 はまず、最初のVMを実行する。イベントcoin,juiceの後、SKIP;VM の状態になったら後ろの VM に実行が移る。
5回の販売で終了する販売機VM5は

VM5 = VM ; VM ; VM ; VM ; VM

また、n回繰り返したい場合は以下のような書き方も用意されている。

 VMN = ;i:<1..n>@ VM   -- replicated sequential、iが1〜nまで繰り返す。
 
 -- VM5 = ;i:<1..5>@ VM である。