Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Paper
Stickiness and Liveness
Abstract
No abstract available.
Related
Barry K. Rosen
Acta Informatica
Conference paper
Applications of high level control flow
Barry K. Rosen
POPL 1977
Dhananjay M. Dhamdhere, Barry K. Rosen, et al.
ACM SIGPLAN Notices