Abstract
In the Boolean state model, we assume state stability. That is, whenever a system enters a state, it will stay in the state throughout some period, although the length of the period can be arbitrarily small. Therefore, a state transition is a transition of a system from one stable state to another, and two consecutive state transitions must pass through an intermediate stable state which separates these two state transitions from each other.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Chaochen, Z., Hansen, M.R. (2004). Superdense State Transitions. In: Duration Calculus. Monographs in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-06784-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-662-06784-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-07404-2
Online ISBN: 978-3-662-06784-0
eBook Packages: Springer Book Archive