Computing with Multiple Discrete Flows
Tóm tắt
A set X together with a finite collection of self-maps on X is called a multiple discrete flow. We develop the theory of fair convergence for multiple flows and show how the UNITY programs of Chandy and Misra can be reformulated in terms of this theory.
Tài liệu tham khảo
Armoni, M., Ben-Ari, M.: The concept of nondeterminism: Its development and implications for teaching. Newsletter ACM SIGCSE Bull. 41(2) (2009)
Blum L., Cucker F., Shub M., Smale S.: Complexity and Real Computation. Springer-Verlag, New York, USA (1998)
Chandy K.M., Misra J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)
Dijkstra E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
Knuth D.E.: The Art of Computer Programming, vols. I–III. Pearson Education Asia, New Delhi (2002)
Lloyd S.: Programming the Universe: A Quantum Computer Scientist Takes on the Cosmos. First Vintage Books Edition, USA (2007)
McCarthy, J.: Towards a mathematical science of computation. In: Popplewell, C.M. (ed.) Information Processing, Proceedings of IFIP Congress 62, North-Holland, pp. 21–28 (1963)
Misra J.: A Discipline of Multiprogramming—Programming Theory for Distributed Applications. Springer, New York (2001)
Papadimitriou C.H., Lewis H.R.: Elements of the Theory of Computation, 2nd edn. Pearson Education (Singapore) Pte Ltd, Delhi (2005)
Stepney, S.: Non-standard Computation: An Overview. http://www-users.cs.york.ac.uk/~susan/complex/nstdcomp.htm
Venkata Rao, K., Viswanath, K.: On the Definition of Nondeterministic Mechanisms. http://arxiv.org/abs/0906.4216
Viswanath K.: Computing with Dynamical Systems. J. Differ. Equ. Dyn. Syst. 14(1), 1–24 (2006)
Viswanath K.: An Introduction to Mathematical Computer Science. The Universities Press, Hyderabad (2008)
Walicki M., Meldal S.: Algbraic approaches to nondeterminism: An overview. ACM Comput. Surv. 29, 30–81 (1997)