Login / Signup

Static Termination Analysis for Event-driven Distributed Algorithms.

Felix WiemuthPeter AmthorWinfried E. Kühnhauser
Published in: DEBS (2019)
Keyphrases
  • event driven
  • data structure
  • real time
  • management system
  • cost model
  • termination analysis