Distributed communication software specification based on the action superposition mechanism.
Kiyoshi HayashiToshihiro NishizonoToyofumi TakenakaPublished in: COMPSAC (1990)
Keyphrases
- communication overhead
- open systems
- communication cost
- distributed control
- distributed systems
- computer networks
- fully distributed
- software development
- distributed computation
- cooperative
- spatially distributed
- tool suite
- software systems
- communication protocol
- control flow
- software design
- communication networks
- distributed environment
- transition systems
- software tools
- communication systems
- fault tolerant
- high level
- computer systems
- formal verification
- distributed network
- highly modular
- state transition
- formal methods
- development process
- software architecture
- exchange information
- speech acts
- multi party
- communication technologies
- reactive systems
- information sharing
- peer to peer
- open source
- multi robot coordination