Login / Signup
Chyuan Samuel Hsieh
Publication Activity (10 Years)
Years Active: 1987-1996
Publications (10 Years): 0
</>
Publications
</>
Chyuan Samuel Hsieh
,
Elizabeth A. Unger
On the control structure of a program slice.
J. Syst. Softw.
34 (2) (1996)
Chyuan Samuel Hsieh
,
Elizabeth A. Unger
Resource scheduling: specification and proof techniques.
ACM Conference on Computer Science
(1988)
Chyuan Samuel Hsieh
,
Elizabeth A. Unger
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication.
ACM Conference on Computer Science
(1987)