Process structuring (1973)

Cached

Download Links

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

Active Bibliography

158 Resources, Concurrency and Local Reasoning – Peter W. O’Hearn - 2004
Graduate Group ChairpersonCOPYRIGHT – Alwyn E. Goodloe, Carl A. Gunter, Rajeev Alur, Alwyn E. Goodloe - 2008
84 Protection – Butler W. Lampson - 1971
Editor An Optimal Algorithm – R. Stockton Gaines, For Mutual Exclusion
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
167 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
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
1 Distributed Smalltalk: Inheritance and Reactiveness in Distributed Systems – John K. Bennett - 1988
TOWARDS THE CONSTRUCTION OF VERIFIABLE SOFTWARE SYSTEMS – L. Fl. On, A. N. Habermann, Carnegie-mellon Uni Verslty
2 Some myths about famous mutual exclusion algorithms – K. Alagarsamy