Spis treœci - Patrz

[MaOO87] M. Maekawa, A. E. Oldehoeft, R. R. Oldehoeft: Operating Systems: Advancedconcepts. Meiilo Park, Calif., Benjamin/Cummings 1987.[Nels91] G. Nelson (ed.): Systems Programming with Modula-3. Englewood ClifFs, NJ,Prentice-Hall 1991.[OwGr76] S. Owicki, D. Gries: An axiomatic proof technique for parallel programs. ActaInf. 1976, 6, 319-340.[Para91] Parallel C User Guide, 3L Ltd. 1991.[Pati7l] S. S. Patil: Limitation and capabilities of Dijkstra's semaphore primitives forcoordination among processes, MIT Project MAC Corporation Structure Group Memo57, MIT, Cambridge, Mass. 1971.[Pete81] G. L. Peterson: Myths about the mutual exclusion problem. InformationProcessingLetters, 1981, 12, 3.[PoMa87] D. Pountain, D. May: A Tutorial to occ.am Programming. Blackwell ScientificPublication 1987.[Prog91] Z. Czech (ed.): Programowanie współbieżne. wybrane zagadnienia. PolitechnikaSląska, skrypty uczelniane, nr 1638, Gliwice 1991.[Pyle86] I. C. Pyle: Ada. Warszwa, WNT 1986.[Rayn88] M. Raynal: Distributed algoritms andprotocols. Chichester, Wiley 1988.[RiAg81] G. Ricart, A. Agrawala: An optimal algorithm for mutual exclusion in computernetworks. Communications ofthe ACM, 1981, 24, 1, 9-17.[Roch93] M. J. R.ochkind: Programowanie w systemie Unix dla zaawansowanych.Warszawa, WNT 1993.[RoKF92] W. Rosenberg, D. Kenney, G. Fisher: Understanding DCE. O'Reilly fe Ass.,1992.[Rovn86] P. Rovner: Extending Modula-2 to build large, integrated systems. IEEE Software,1986, 3 C.[Sant91] M. Santifaller: TCP/IP and NFS, Internetworking in a Unix environment. Wokingham,England, Addison-Wesley 1991.[Shaw79] A. C. Shaw: Projektowanie logiczne systemów operacyjnych. Warszawa, WNT1979.[Shir92] J. Shirley: Guide to writing DCE applications. O'Reilly fe Ass., 1992.[Shiim89] K. Shumate: Understanding Ada with abstract data types. Wyd. 2, New York,Wiley 1989.[SiPG91] A. Silberschatz, J. Peterson, P. Galvin: Operating system concepts. Wyd. 3,Reading, Mass., Addison-Wesley 1991 (tłumaczenie w przygotowaniu).[Silv90] P. P. Silvester: System operacyjny Unix. Warszawa, WNT 1990.[SlKr87] M. Sloman, J. Kramer: Distributed systems and computer networks. EnglewoodCliffs, NJ, Prentice-Hall 1987.[Stev90] W. R. Stevens: Unix network programming. Englewood Cliffs, NJ, Prentice-Hall1990.[SuiiM87] Sun Microsystems, XDR: External Data Representation Standard, RFC 1014,1987.[SunM88] Sun Microsystems, RPC: Remote Procedure Call, Protocol Specification, Version 2,RFC 1057, 1988.[Tane92] A. S. Tanenbaum: Modern operating systems. Englewood Cliffs, NJ, PrenticeHall1992.[Terr92] P. D. Terry: Uczymy się programować na przykładzie Moduli 2. Warszawa, WNT1992.[Vaiit72] H. Vantigorgh, A. Van Lamsweerde: On an execution of Dijkstra's semaphoreprimitives. Information ProcessingLetters, 1971, 1, 181-186.289