Login / Signup
Andrew C. Uselton
Publication Activity (10 Years)
Years Active: 1993-1994
Publications (10 Years): 0
</>
Publications
</>
Andrew C. Uselton
,
Scott A. Smolka
A Compositional Semantics for Statecharts using Labeled Transition Systems.
CONCUR
(1994)
Andrew C. Uselton
,
Scott A. Smolka
A Process Algebraic Semantics for Statecharts via State Refinement.
PROCOMET
(1994)
Andrew C. Uselton
Structured Operational Semantics for Concurrency and Hierarchy.
STACS
(1993)