71 search results - page 1 / 15 » An Evolving Algebra Abstract Machine |
CSL
1995
Springer
13 years 8 months ago
1995
Springer
STACS
2010
Springer
14 years 7 days ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
CSL
1992
Springer
13 years 9 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
JUCS
2002
13 years 4 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
NADA
1998
Springer
13 years 9 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...