@article{GP07,
title = { Time in {Abstract State Machines} },
author = {Graf, Susanne and Prinz, Andreas},
year = {2007},
journal = {Fundamentae Informaticae, Special issue on ASM 2005},
number = {1},
pages = {143-174 },
volume = {77},
team = {DCS},
abstract = {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 approaches. 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. },
}
