Communications are everything: a design methodology for fault-tolerant concurrent systems.
Andrew M. TyrrellPublished in: Software Engineering for Parallel and Distributed Systems (1996)
Keyphrases
- design methodology
- fault tolerant
- concurrent systems
- distributed systems
- formal specification
- fault tolerance
- interconnection networks
- model checking
- load balancing
- design criteria
- physical design
- object oriented
- temporal logic
- design process
- fuzzy neural network
- design methodologies
- petri net
- design procedure
- reverse engineering
- communication networks
- databases
- relational databases
- expert systems