Sciweavers

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