Verification of Concurrent Control Flow in Distributed Computer Systems.
Stephen S. YauWonmo HongPublished in: IEEE Trans. Software Eng. (1988)
Keyphrases
- computer systems
- control flow
- data flow
- computer networks
- operating system
- computing systems
- data processing
- human beings
- communication systems
- information processing systems
- distributed systems
- information systems
- multi agent
- computer technology
- high end
- software testing
- computer architecture
- fault management
- process model
- transition systems
- modeling language
- mobile agents
- machine learning
- databases
- database