An approach to automating the verification of compact parallel coordination programs. I Boris D. Lubachevsky OriginalPaper Pages: 125 - 169
Characterization of all optimal networks for a simultaneous computation of AND and NOR Norbert BlumMartin Seysen OriginalPaper Pages: 171 - 181
A characterization of systolic binary tree automata and applications Oscar H. IbarraSam M. Kim OriginalPaper Pages: 193 - 207