Title: Bisimulation and fault-tolerance
First published: 1995