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.