Process structuring (1973)

Cached

Download Links

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

Active Bibliography

155 Resources, Concurrency and Local Reasoning – Peter W. O’Hearn - 2004
Reduction: A Method of Proving Properties of Parallel Programs – B. Wegbriet, Richard J. Lipton
84 Protection – Butler W. Lampson - 1971
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
15 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
21 An Optimal Algorithm For Mutual Exclusion In . . . – Glenn Ricart, et al. - 1981
6 Operating Systems: The Problems Of Performance and Reliability – B. Randell
3 Distributed Semaphore In A Messenger Environment – Murhimanya Muhugusa, Giovanna Di Marzo, Christian Tschudin, Jürgen Harms
163 Concepts and notations for concurrent programming – Gregory R. Andrews, Fred B. Schneider - 1983
10 Meta-modeling concepts and tools for model management: A systems approach – A. Muhanna, Roger Alan Pick - 1994
Communicating Sequential Processes – S. L. Graham, R. L. Rivest, C. A. R. Hoare
Design and Implementation of a Programming Language for Concurrent Interactive Systems – Tiark Rompf - 2007
98 The Programming Language Concurrent Pascal – Per Brinch Hansen - 1975
7 A Parallel Object-Oriented System for Realizing Reusable and Efficient Data Abstractions – Chu-Cheow Lim - 1993
Graduate Group ChairpersonCOPYRIGHT – Alwyn E. Goodloe, Carl A. Gunter, Rajeev Alur, Alwyn E. Goodloe - 2008
Operating Systems C. Weissman Editor – unknown authors
Operating Systems C. Weissman Editor – unknown authors
Operating Systems C. Weissman Editor – unknown authors
26 Cache Coherence in Distributed Systems – Christopher A. Kent - 1987