Login / Signup

The specification and design of atomic actions for fault tolerant concurrent software.

Andrew M. TyrrellGeof F. Carpenter
Published in: Microprocess. Microprogramming (1992)
Keyphrases
  • fault tolerant
  • fault tolerance
  • safety critical
  • state machine
  • distributed systems
  • load balancing
  • user interface
  • high assurance
  • formal methods
  • fault isolation
  • software development
  • software systems