PSI-Calculus

A Mathematics of Arrays

L.M. Restifo Mullin (PHDTHESIS, 1988)

The $\Psi$-Function: A Basis for FFP with Arrays

L.M. Restifo Mullin[L.M. Restifo Mullin (ed)] (INPROCEEDINGS, 1991)

A Comparison of Array Theory and a Mathematics of Arrays

L.M. Restifo Mullin and M. Jenkins[ (ed)] (INPROCEEDINGS, 1991)

Effective Data Parallel Computation using the Psi Calculus

L.M. Restifo Mullin and M. Jenkins (ARTICLE, 1996)

Formal Methods for Partitioning, Scheduling, Routing, and Communication Protocol

L.M. Restifo Mullin and D. Dooling and E. Sandberg and S. Thibault (TECHREPORT, 1995)

A Reduction Semantics for Array Expressions: The PSI Compiler

L. Mullin and S. Thibault (TECHREPORT, 1994)

On Programming Scientific Applications in Sac

L. Mullin and W. Kluge and S.-B. Scholz[W. Kluge (ed)] (INPROCEEDINGS, 1996)