A language construct for the specification of discontinuities

Shahram Javey. A language construct for the specification of discontinuities. Journal of Systems and Software, 8(5):409-417, 1988. [doi]

Abstract

Abstract is missing.