Sciweavers

1878 search results - page 20 / 376
» The Vienna Abstract Machine
Sort
View
JUCS
2008
148views more  JUCS 2008»
14 years 11 months ago
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
JUCS
2008
101views more  JUCS 2008»
14 years 11 months ago
Quo Vadis Abstract State Machines?
Egon Börger, Andreas Prinz
LMCS
2007
61views more  LMCS 2007»
14 years 11 months ago
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...
CYS
2000
105views more  CYS 2000»
14 years 11 months ago
Parallel Computation in Abstract Network Machine
Andrei Tchernykh, Abdrei Stepanov, Antonio Rodr&ia...