STOP - TorXakis/TorXakis GitHub Wiki STOP¶ Syntax¶ STOP Semantics¶ STOP is the inactive process. STOP never communicates with other processes, including termination over EXIT. STOP is comparable to deadlock.