Teoria Współbieżności
Transkrypt
Teoria Współbieżności
Literatura: 1. Roscoe A., W.; The Theory and Practice of Concurrency. Prentice Hall 1998. 2. Weiss Z., Gruźlewicz T.; Programowanie współbieżne i rozproszone w przykładach i zadaniach. WNT 1994. 3. Ben-Ari M.; Podstawy programowania współbieżnego i rozproszonego. NT, Warszawa 1989. 4. Gibbons A., Rytter W.; Efficient parallel algorithms. Cambridge University Press, 1990. 5. Czech Z. (ed.); Programowanie współbieżne, wybrane zagadnienia. Wydawnictwo Politechniki Śląskiej, Skrypty no. 2191, 1999. 6. Starke P., H.; Sieci Petri, podstawy, zastosowania, teoria. PWN 1987. 7. Milner R.; Communication and Concurrency. Prentice Hall 1989. 8. Iszkowski W., Maniecki M.; Programowanie współbieżne. WNT 1982. 9. Błażewicz J., Cellary W., Słowiński R., Węglaż J.; Badania operacyjne dla informatyków. WNT 1983. 10. Agarwal R.K; Parallel computers and large problems in industry, Computational Methods in Applied Science, Elsevier 1992. 11. Karbowski A. Niewiadomska-Szynkiewicz E. (eds.); Obliczenia równoległe i rozproszone. Oficyna Politechniki Warszawskiej, 2001. 12. Wilkinson B., Allen M.; Parallel Programming. Printice Hall 1999. 13. Golub G, Ortega J.M; Scientific Computing. An Introduction with Parallel Computing, Academic Press Ltd., 1993. 14. Le Tallec P; Domain decompopsition methods in computational mechanics, Computational Mechanics Advances, Vol 1, No. 2, North Holland 1994. 15. Akl S.G; Parallel Computation. Models and Methods. Prentice Hall 1997. 16. Charron B, Delporte-Gallet C, Fauconnier H; How to model a distributed computation, Instute Blaise Press, Paris, 1993. 17. Dikert K; Combinatorics on Traces, Lecture Notes in Computer Science 454, Springer Verlag 1990. 18. Mazurkiewicz A; Concurent program schemes and their interpretations, DAIMI Rep. PB 78, Aorlms Univ. 1977. 19. Diekert V., Rosenberg G. (eds.); The Book of Traces. World Scientific 1995. 20. Tanenbaum A., S.; Rozproszone systemy operacyjne. WN, Warszawa 1997. 21. Gallier J., H.; Logic for Computer Science. Harper&Row, New Yourk 1986. 22. Tsai J.J.P., Yaodong Bi, Yang S.J.H., Smith R.,A.,W.; Distributed Real-Time Systems, John Willey 1996. 23. Tsai J.J.P., Weigert T.J.; Knowledge-Based Development for Real Time Distributed Systems. Word Scientific 1993.