137
click to vote
CAAP
1990
15 years 8 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
BIRTHDAY
1987
Springer
15 years 8 months ago
1987
Springer
ASIACRYPT
1990
Springer
15 years 8 months ago
1990
Springer
155
click to vote
ASPLOS
1987
ACM
15 years 8 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...