Sciweavers

1917 search results - page 22 / 384
» The York Abstract Machine
Sort
View
97
Voted
JUCS
2008
159views more  JUCS 2008»
15 years 2 months ago
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
JUCS
2008
148views more  JUCS 2008»
15 years 2 months ago
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
61
Voted
JUCS
2008
101views more  JUCS 2008»
15 years 2 months ago
Quo Vadis Abstract State Machines?
Egon Börger, Andreas Prinz