Transaction processing
SPIN model checker
Myrinet
Distributed computing
Henri Bal
Scalability
Computing
Model checkers
Model checking