単一プロセスの逐次環境(not 並行)での動作を記述する 参考 https://www.sciencedirect.com/topics/computer-science/sequential-specification