References
- Hoare , C.A.R. 1978 . Communicating sequential processes . Communications of the ACM , 21 ( 18 ) : 666 – 677 .
- Moore , E.F. 1956 . “ Gedanken Experiments on Sequential Machines ” . In Automata Studies , 129 – 153 . Princeton, N.J : Princeton University Press .
- Shahookar , K. and Kamal , A.E. 1991 . VLSI cell placement techniques . ACM Computing Surveys , 23 ( 2 ) : 142 – 200 .
- Susswein , S.Y. Henderson , T.C. 1991 . Parallel path consistency . International Journal of Parallel Programming , 20 ( 6 ) : 453 – 473 .
- Warshall , S. 1962 . A theorem on Boolean matrices . Journal of the ACM , 9 : 11 – 12 .
- Waxman , J. and Rootenberg , J. 1977 . Logic circuit for cycle detection in state diagrams . IEEE Transactions on Computer Science , 26 ( 3 ) : 303 – 305 .