Login / Signup

Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures.

Vijay D'SilvaS. RameshArcot Sowmya
Published in: DATE (2004)
Keyphrases
  • communication protocols
  • multi party
  • database systems
  • cellular automata
  • group communication