149 search results - page 14 / 30 » The Timed Abstract State Machine Language: Abstract State Ma... |
144
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
114
Voted
ASM
2000
ASM
15 years 7 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
126
click to vote
ICALP
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
134
click to vote
AC
2000
Springer
15 years 7 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
122
click to vote
ICTAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...