A Sequentialization Procedure for Fault-Tolerant Protocols.

Cezara Dragoi Patricio Inzaghi Pronesti

Published in: VSTTE (2022)

Keyphrases

fault tolerant
fault tolerance
key distribution
distributed systems
load balancing
high availability
safety critical
state machine
high assurance
interconnection networks