Abstract:
In this paper, we continue the study of a parallel FSM equation. We establish that the solution set has a lattice structure and consider two restricted solutions to the equation, namely, a supremal and a livelock-free solution.
DOI:
Issue
Pages:
7-17
File:
buffal.pdf
(189.41 KB)