Andrew C. Uselton

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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]