A New Elephant Built from Mosquitoes Humming in Harmony
In an earlier document —EWD456— I mentioned a problem, suggesting that it boiled down to forming a transitive closure. M. Rem pointed out to me that the suggestion was wrong; this report deals with the problem in question.
KeywordsTerminal Node Transitive Closure Sequential Program Connectivity Matrix Finite State Automaton
Unable to display preview. Download preview PDF.