Process structuring (1973)

Cached

Download Links

by J. J. Horning , B. Randell
Venue:Computing Surveys
Citations:6 - 1 self

Documents Related by Co-Citation

76 Physical Integrity in a Large Segmented Database – Raymond A. Lorie - 1977
494 The notions of consistency and predicate locks in a database system – Kapali P Eswaran, Jim Gray, Raymond A Lorie, Irving L Traiger - 1976
110 An Overview of the Arjuna Distributed Programming System – S K Shrivastava, G N Dixon, G D Parrington - 1991
471 Monitors: An Operating System Structuring Concept – C. A. R Hoare - 1974
2 On the Probability of Deadlock in Computer Systems – C A Ellis - 1973
3 Deadlock-Free Resource Sharing in Asynchronous Systems – P G Hebalkar - 1970
1 The concept of asynchronization – H Wettstein, G Merbeth - 1980
11 Correctness in Operating Systems – H C Lauer - 1972
21 Design and Implementation of an Object-Orientated 64-bit Single Address Space Microkernel – Kevin Murray, Tim Wilkinson, Peter Osmon, Ashley Saulsbury, Tom Stiemerling, Paul Kelly, Peter Osmon Sarc - 1993
32 Grammar Systems: A Grammatical Approach to Distribution and Cooperation – E Csunhaj-Varju, J Dassow, J Kelemen, G Paun - 1994
10 An assessment of techniques for proving program correctness – Bernard Elspas, Karl N Levitt, Richard J Waldinger, Abraham Waksman - 1972
288 Solution of a problem in concurrent programming control – E W Dijkstra - 1965
14 A survey of analytical time-sharing models – J McKinney - 1969
340 On µ-kernel construction – Jochen Liedtke - 1995
113 A Multi-National, Multi-Institutional Study of Assessment of Programming Skills of First Year CS Students – M McCracken, D Almstrum, M Diaz, D Guzdial, Y Hagen, C Kolikant, L Laxer, I Thoman, T Utting, T Wilusz - 2001
2 SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control – unknown authors - 1976
3 The fragmentation problem: lossless decomposition of relations into files – U Dayal, P A Bernstein - 1978
1 Concurrency control iu a system for distributed databases (SDD-1 – P A BERNSTEIN, D W SHIPMAN, J B JR ROTHNIE - 1980
1 Formal aspects of seriahzabihty in database concurrency control – P A BERNSTEIN, D W SHIPMAN, W S WONG - 1979