Process structuring (1973)

Cached

Download Links

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

Documents Related by Co-Citation

494 The Notions of Consistency and Predicate Locks in a Database System – K Eswaran, J Gray, R Lorie, I Traiger - 1976
76 Physical Integrity in a Large Segmented Database – Raymond A. Lorie - 1977
111 An Overview of the Arjuna Distributed Programming System – S Shrivastava, G Dixon, G Parrington - 1991
472 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
14 A survey of analytical time-sharing models – J McKinney - 1969
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
290 Solution of a problem in concurrent programming control – E W Dijkstra - 1965
341 On µ-kernel construction – Jochen Liedtke - 1995
111 A multi-national, multi-institutional study of assessment of programming skills of first-year CS students – M McCracken - 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