A formal approach to fault-tolerance in distributed real-time systems

Authors:
J. Coenen;J. Hooman
Affiliations:
Eindhoven University of Technology, 5600 MB Eindhoven, The Netherlands;Eindhoven University of Technology, 5600 MB Eindhoven, The Netherlands
Venue:
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Year:
1990

Citing 3
Cited 0

Proof rules for fault tolerant distributed programs

Science of Computer Programming
Fail-stop processors: an approach to designing fault-tolerant computing systems

ACM Transactions on Computer Systems (TOCS)
The State Machine Approach: A Tutorial

The State Machine Approach: A Tutorial

Quantified Score

Hi-index	0.00

Visualization

Abstract