The nearest in the literature to the model of mapcode is the UNITY work of Chandy and Misra. While mapcode considers a set X together with a map F: X -> X, UNITY considers several maps acting on X. The result is a fascinating theory of parallel and distributed programming. UNITY stands for Unbounded Nondeterministic Iterative Transformation theorY. We interpret this theory purely in mathematical terms as with mapcode. Our first paper on this subject dealing with standard sequential programs that are expected to terminate in a finite number of steps and return a value is given in our paper Computing with Multiple Discrete Flows.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment