External Links

    Journal: International Journal of Parallel Programming

    Volume 13, Issue 6

    425 -- 460Timo Niemi. Specification of data restructuring software based on the attribute method
    461 -- 490Subrata Dasgupta, Alan Wagner. The use of hoare logic in the verification of horizontal microprograms
    491 -- 508A. R. Hurson. A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner
    509 -- 520Lena Chang, Arthur T. Poe. Surjections and coverings
    runs on