Next: 2.3.1 Firing a Transition
Up: 2. ABSTRACT SYNTAX AND
Previous: 2.2.8 Actions and Guards
Contents
Index
This section discusses some important algorithms for the
implementation of DCharts. They define part of the operational
semantics.
Subsections
Thomas Huining Feng
2004-04-28