Causing Communication Closure: Safe Program Composition with Non-FIFO Channels.
Kai EngelhardtYoram MosesPublished in: DISC (2005)
Keyphrases
- communication channels
- communication systems
- information sharing
- computer programs
- computer networks
- communication networks
- human computer
- communication overhead
- heavy traffic
- static analysis
- information exchange
- data acquisition
- high speed
- web service composition
- response time
- information systems
- learning algorithm
- database