A simple fix-point argument without the restriction to continuity

  • Authors:

  • E. W. Dijkstra;A. J. M. van Gasteren

  • Affiliations:

  • Univ. of Texas at Austin, Austin, TX;Eindhoven Unniv. of Technology, Eindhoven, Netherlands

  • Venue:
  • Control Flow and Data Flow: concepts of distributed programming
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract