Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.
Karin AvnitVijay D'SilvaArcot SowmyaS. RameshSri ParameswaranPublished in: ACM Trans. Design Autom. Electr. Syst. (2009)
Keyphrases
- provably correct
- formal methods
- communication protocol
- formal analysis
- communication protocols
- low cost
- situation calculus
- tcp ip
- group communication
- interprocess communication
- lightweight
- multi party
- high speed
- high voltage
- artificial intelligence
- control method
- communication networks
- high bandwidth
- privacy preserving
- object oriented
- single phase
- query language
- database systems