Towards a design calculus for CSP

  • Authors:

  • Rudolf Berghammer;Burghard von Karger

  • Affiliations:

  • -;-

  • Venue:
  • Science of Computer Programming - Special issue on mathematics of program construction
  • Year:
  • 1996

  • 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