History
V
Ensemble
Isis
Horus
•
Multicast
•
Membership
•
CATOCS
•
Layers
•
m
Protocols
•
ML
•
Formal methods
Horus:
x-kernel influence