Login / Signup

A Proof Environment for the Development of Group Communication Systems.

Christoph KreitzMark HaydenJason Hickey
Published in: CADE (1998)
Keyphrases
  • group communication
  • software engineering
  • intelligent systems
  • real time
  • fault tolerance