Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Paper
Stickiness and Liveness
Abstract
No abstract available.
Related
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Conference paper
Efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, et al.
POPL 1989