Download:
|
by William R. Bevier, Lawrence M. Smith
http://dirleton.csres.utexas.edu/reports/files/089.ps
Add To MetaCart
Abstract:
The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of Computational Logic, Inc.
Citations
|
605
|
Operating System Concepts
– Silberschatz, Galvin, et al.
- 2002
|
|
428
|
The notion of consistency and predicate locks in a database system
– Eswaran, Gray, et al.
- 1976
|
|
393
|
A Computational Logic Handbook
– Boyer, Moore
- 1988
|
|
320
|
The Design of the Unix Operating System
– Bach
- 1986
|
|
51
|
Threads of a New System
– Rashid
- 1986
|
|
48
|
The Integration of Virtual Memory Management and Interprocess Communication in Accent
– Fitzgerald, Rashid
- 1986
|
|
28
|
Architecture-Independent Virtual Memory Manager for Parallel and Distributed Environments: The Mach Approach
– Tevanian
- 1987
|
|
12
|
Standard Portable Operating System Interface for Computer Environments
– IEEE
- 1990
|
|
10
|
3 kernel principles
– Mach
- 1992
|
|
8
|
A mathematical model of the Mach kernel
– Bevier, Smith
- 1994
|
|
6
|
A mathematical model of the Mach kernel: Entities and relations
– Bevier, Smith
- 1994
|
|
6
|
Granularity of locks in a shared data base
– Gray, Lorie, et al.
- 1975
|
|
5
|
A mathematical model of the Mach kernel: Atomic actions and locks
– Bevier, Smith
- 1993
|
|
4
|
3 kernel interface
– Mach
- 1991
|
|
1
|
Ste84] Guy L. Steele Jr. Common LISP: The Language
– Hall
- 1989
|
|
1
|
Ste90] Guy L. Steele Jr. Common LISP: The Language, Second Edition
– Press
- 1984
|
