A Time-Interval Calculus

  • Authors:

  • S. M. Brien

  • Affiliations:

  • -

  • Venue:
  • Proceedings of the Second International Conference on Mathematics of Program Construction
  • Year:
  • 1992

  • Temporal Algebra

    Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

  • Temporal algebra

    Algebraic and coalgebraic methods in the mathematics of program construction

Quantified Score

Hi-index 0.00

Visualization

Abstract