Andrew C. Uselton

According to our database, Andrew C. Uselton authored at least 3 papers between 1993 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

A Process Algebraic Semantics for Statecharts via State Refinement.

Andrew C. Uselton, Scott A. Smolka

Proceedings of the Programming Concepts, 1994

A Compositional Semantics for Statecharts using Labeled Transition Systems.

Andrew C. Uselton, Scott A. Smolka

Proceedings of the CONCUR '94, 1994

1993

Structured Operational Semantics for Concurrency and Hierarchy.

Andrew C. Uselton

Proceedings of the STACS 93, 1993