Dr. Christian Maurer
Nichtsequentielle Programmierung
Grundlegende Arbeiten
- Andrews, G. R.: A Method for Solving Synchronization Problems. Science of Computer Prog. 13 (1989) 1-21
- Andrews, G. R.: Paradigms for Process Interaction in Distributed Programs. ACM Comput. Surv. 23 (1991) 49-90
- Andrews, G. R., Schneider, F. B.: Concepts and Notations for Concurrent Programming. ACM Comput. Surv. 15 (1983) 3-43
- Barz, H. W.: Implementing Semaphores by Binary Semaphores. ACM SIGPLAN Notices 18 (1983) 39-45
- Bernstein, A. J.: Output Guards and Nondeterminism in "Communicating Sequential Processes". ACM Trans. Prog. Lang. Syst. 2 (1980) 234-238
- Buckley, G. N., Silberschatz, A.: An Effective Implementation for the Generalized Input-Output Construct of CSP. ACM Trans. Prog. Lang. Syst. 5 (1983) 223-235
- Courtois, P. J., Heymans, F., Parnas, D. L. Concurrent Control with "Readers" and "Writers". Commun. ACM 14 (1971) 667-668
- Coffman, E. G., Elphick, M. J., Shoshan, A.: System Deadlocks. ACM Comput. Surv. 3 (1971) 67-78
- Dijkstra, E. W.: Solution of a Problem in Concurrent Programming Control. Commun. ACM 8 (1965), 569
- Dijkstra, E. W.: The Structure of the "THE"-Multiprogramming System. Commun. ACM 11 (1968) 341-346
- Dijkstra, E. W.: Cooperating Sequential Processes. Technical Report EWD-123, Technological University Eindhoven (1965)
- Dijkstra, E. W.: Hierarchical Ordering of Sequential Processes. Acta Informatica 1 (1971) 115-138
- Dijkstra, E. W.: Guarded commands, non-determinacy and a calculus for the derivation of programs
- Dijkstra, E. W.: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Commun. ACM 18 (1975) 453-457
- Dimitoglou, G.: Deadlocks and Methods for their Detection, Prevention and Recovery in Modern Operating Systems. ACM SIGOPS Oper. Syst. Rev. 32 (1998) 51-54
- Haddon, B. K.: Nested Monitor Calls. ACM SIGOPS Oper. Syst. Rev. 11 (1977) 18-23
- Herlihy, M.: Wait-Free Synchronization. ACM Trans. Progr. Lang. Syst. 11 (1991) 124-149
- Hoare, C. A. R.: Monitors: An Operating Systems Structuring Concept. Commun. ACM 17 (1974) 549-557
- Hoare, C. A. R.: Communicating Sequential Processes. Commun. ACM 21 (1978) 666-677
- Hull, M. E. C.: Occam - a Programming Language for Multiprocessor Systems. Comp. Lang. 12 (1987) 27-37
- Kang, S., Lee, H.: Analysis and Solution of Non-preemptive Policies for Scheduling Readers and Writers. ACM SIGOPS Oper. Syst. Rev. 32 (1998) 30-50
- Lamport, L.: A new Solution of Dijkstras Concurrent Programming Problem. Commun. ACM 17 (1974) 453-455
- Lamport, L.: A new Approach to Proving the Correctness of Multiprocess Programs. ACM Trans. Progr. Lang. Syst. 1 (1979) 84-97
- Lauer, H. C., Needham, R. M.: On the Duality of Operating System Structures. Proc. Second International Symposium, IRIA (1978)
- Lister, A.: The Problem of Nested Monitor Calls. ACM SIGOPS Oper. Syst. Rev. 11 (1977) 5-7
- May, D.: Occam. ACM SIGPLAN Notices 18 (1983) 69-79
- Parnas, D. L.: On a Solution to the Cigarette Smoker's Problem without conditional statements. Commun. ACM 18 (1975) 181-183
- Parnas, D. L.: The Non-Problem of Nested Monitor Calls. ACM SIGOPS Oper. Syst. Rev. 12 (1978) 12-14
- Patil, S. S.: Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination among Processes. MIT Project MAC, Computation Structures Group Memo 57 (1971)
- Peterson, G. L.: Myths about the Mutual Exclusion Problem. Inf. Process. Lett. 12 (1981) 115-116
- Peterson, G. L.: Concurrent Reading While Writing. ACM Trans. Progr. Lang. Syst. 5 (1983) 46-55
- Ricart, G., Agrawala, A. K.: An Optimal Algorithm for Mutual Exclusion in Computer Networks. Commun. ACM 24 (1981) 9-17
- Ricart, G., Agrawala, A. K.: Author's response to "An Optimal Algorithm for Mutual Exclusion in Computer Networks" by Carvalho and Roucairol. Commun. ACM 26 (1983) 147-148
- Schneider, F. B.: Synchronization in Distributed Programs. ACM Trans. Progr. Lang. Syst. 4 (1982) 179-195
- Trono, J. A., Taylor, W. E.: Further Comments on "A Correct an Unrestrictive Implementation of General Semaphores". ACM SIGOPS Oper. Syst. Rev. 34 (2000) 5-10
- Udding, J. T.: Absence of Individual Starvation using Weak Sema-phores. Inform. Process. Lett. 23 (1986), 159-162
- Wegner, P., Smolka, S, A.: Processes, Tasks and Monitors: A Comparative Study of Concurrent Programming Primitives. IEEE Trans. Softw. Eng. SE-9 (1983) 446-462
- Wettstein, H.: The Problem of Nested Monitor Calls Revisited. ACM SIGOPS Oper. Syst. Rev. 12 (1978) 19-23
Letzte Aktualisierung: 26.1.2018