Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels
Kai EngelhardtYoram MosesPublished in: CoRR (2007)
Keyphrases
- communication channels
- multi channel
- communication systems
- high speed
- communication patterns
- high quality
- human computer
- computer programs
- control program
- real time
- program execution
- communication protocols
- web service composition
- information exchange
- information sharing
- cost effective
- test cases
- search engine
- artificial intelligence