Formal techniques in real-time and fault-tolerant systems

The outer archives are busy

About this book

In distributed systems, high service availability can be achieved by letting a team of servers replicate the service state; if some servers fail, the surviving ones know the service state and can continue to provide the service.

Match Score

Create a free account to see Match Scores on books the community has marked — once you’ve set your preferences.

Create free account

Marks of the Realm

Marks left by readers of this tome

No community marks yet — be the first to inscribe this tome.

Pacing

—out of 5

Horror / Dark Elements

—out of 5

Romance

—out of 5

Spice Level

—out of 5

LGBTQ+ Representation

—out of 5

Social & Political Themes in Stories

—out of 5

Inscribe Your Rating

Mark this tome across each content category