Programs as Paths: An Approach to Timing Constraint Analysis.

Ian J. Hayes

Browse the full ICFEM paper archive.