Sciweavers

17298 search results - page 25 / 3460
» Abstract computing machines
Sort
View
CSL
2001
Springer
15 years 3 months ago
A Logic for Abstract State Machines
Robert F. Stärk, Stanislas Nanchen
SRDS
2000
IEEE
15 years 3 months ago
Abstractions for Devising Byzantine-Resilient State Machine Replication
Assia Doudou, Rachid Guerraoui, Benoît Garbi...