Sciweavers

31387 search results - page 19 / 6278
» Abstracting abstract machines
Sort
View
48
Voted
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...
ENTCS
2002
93views more  ENTCS 2002»
14 years 11 months ago
An Abstract Machine for a Higher-Order Distributed Process Calculus
Florence Germain, Marc Lacoste, Jean-Bernard Stefa...