Login / Signup

A theory for observational fault tolerance.

Adrian FrancalanzaMatthew Hennessy
Published in: J. Log. Algebraic Methods Program. (2007)
Keyphrases