Sciweavers

1995 search results - page 18 / 399
» The Chemical Abstract Machine
Sort
View
69
Voted
MPC
2010
Springer
171views Mathematics» more  MPC 2010»
15 years 2 months ago
An Abstract Machine for the Old Value Retrieval
Piotr Kosiuczenko
63
Voted
CSL
2001
Springer
15 years 2 months ago
A Logic for Abstract State Machines
Robert F. Stärk, Stanislas Nanchen
SRDS
2000
IEEE
15 years 2 months ago
Abstractions for Devising Byzantine-Resilient State Machine Replication
Assia Doudou, Rachid Guerraoui, Benoît Garbi...