Data structuring for applicative multiprocessing systems. R.M. Keller and G. Lindstrom. Hierarchical analysis of a distributed evaluator. Some theoretical aspects of applicative multiprocessing. R.M. Keller, G. Lindstrom, and S. Patil.
Data flow concepts for hardware design.
R.M. Keller, G. Lindstrom and S. Patil. Proof methods for concurrent programs. Denotational models for parallel programs with indeterminate operators. Formal verification of parallel programs. A fundamental theorem of asynchronous parallel computation.