Time in State Machines

Susanne Graf, Andreas Prinz
2005 International Workshops on Abstract State Machines  
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framework with distribution aspects. However, there is still no agreement when it comes to handling time in this framework. In this article we take a look at existing ways to enhance state machine frameworks. Based on this we propose a general framework of time extensions for state machines, which we relate to existing
more » ... hes. Our work is mainly based on time approaches for ASM, because ASM are considered a very general state machine model. Taking this into account, our approach is valid for state-transition systems in general.
dblp:conf/asm/GrafP05 fatcat:4uzdyocugfcnfnljbxzux2ydze