Formal Specification of Interconnection Networks.
John O'DonnellGudula RüngerPublished in: Functional Programming (1995)
Keyphrases
- formal specification
- interconnection networks
- fault tolerant
- parallel algorithm
- multistage
- routing algorithm
- model checking
- specification languages
- message passing
- object oriented design
- process algebra
- concurrent systems
- reverse engineering
- formal methods
- parallel computers
- distributed systems
- databases
- business processes
- artificial intelligence
- data streams
- business rules
- information flow
- wireless sensor networks
- database
- state space
- end to end