Andrew C. Uselton

	1994
3		Andrew C. Uselton, Scott A. Smolka: A Compositional Semantics for Statecharts using Labeled Transition Systems. CONCUR 1994: 2-17
2		Andrew C. Uselton, Scott A. Smolka: A Process Algebraic Semantics for Statecharts via State Refinement. PROCOMET 1994: 267-286
	1993
1		Andrew C. Uselton: Structured Operational Semantics for Concurrency and Hierarchy. STACS 1993: 418-427

Coauthor Index

1

Scott A. Smolka

[2] [3]