UMCS Technical Reports 1985

UMCS-85-10-3
Processor Allocation in a Multi-ring Dataflow Machine.
Pedro Barahona and John R. Gurd.
UMCS-85-10-2
Efficient Dataflow Code Generation for SISAL.
Anton P. W. Bohm and John Sargeant.
UMCS-85-10-1
Non-deterministic Data Types: Models and Implementations.
Tobias Nipkow.
UMCS-85-9-3
Up and down the Temporal Way.
Howard Barringer.
UMCS-85-9-2
Image Transfer by Packet-switched Network.
Trevor P. Hopkins.
UMCS-85-9-1
Extending Pascal with One-entry/Multi-exit Procedures.
Ian D. Cottam.
UMCS-85-8-2
Efficient Stored Data Structures for Dataflow Computing.
John Sargeant. PhD thesis. Charge.
UMCS-85-8-1
The Unification of Terms: A Category-Theoretic Algorithm .
D. E. Rydeheard and R. M. Burstall.