On-the-fly garbage collection: an exercise in cooperation
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Self-stabilizing systems in spite of distributed control
Communications of the ACM
A Discipline of Programming
Algol-60 Implementation
Hi-index | 0.00 |
First Page of the Article