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.
Keywords
File
buffal.pdf189.41 KB
Pages
7-17