2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Serge Grigorieff, Pierre Valarcher
It is well-known that Abstract State Machines (ASMs) can simulate "step-by-step" any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) simulation is…