A termination detection protocol and its formal verification

  • Authors:

  • Ole Eriksen

  • Affiliations:

  • Aarhus Univ., Aarhus, Denmark

  • Venue:
  • Journal of Parallel and Distributed Computing
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract