Algebraic Specification Of A Communication Scheduler.
Mathai JosephAbha MoitraPublished in: TAPSOFT, Vol.2 (1985)
Keyphrases
- communication networks
- computer networks
- information sharing
- communication systems
- scheduling algorithm
- human computer
- information systems
- high level
- communication protocols
- communication protocol
- communication cost
- provably correct
- database
- agent communication
- resource utilization
- communication overhead
- object oriented
- mobile robot
- search engine
- artificial intelligence