RTSS
1987
IEEE
15 years 8 months ago
1987
IEEE
125
Voted
RTA
1987
Springer
15 years 8 months ago
1987
Springer
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our me...
125
click to vote
POS
1987
Springer
15 years 8 months ago
1987
Springer
Conventional paging systems do not perform well with large object-oriented environments (such as Smalltalk-801 [GR83]) due to the fine granularity of objects and the persistence o...
POS
1987
Springer
15 years 8 months ago
1987
Springer
PODC
1987
ACM
15 years 8 months ago
1987
ACM
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...