Conference paper
Qualified data flow problems
L. Howard Holley, Barry K. Rosen
POPL 1980
Paper
How practical is POPL?
Related
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Conference paper
Bases for chain-complete posets
George Markowsky, Barry K. Rosen
FOCS 1975
Vijay S. Iyengar, Barry K. Rosen, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems