Sciweavers

1995 search results - page 18 / 399
» The Chemical Abstract Machine
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
13 years 12 months ago
Abstractions for Devising Byzantine-Resilient State Machine Replication
Assia Doudou, Rachid Guerraoui, Benoît Garbi...