Sciweavers

1917 search results - page 15 / 384

» The York Abstract Machine

22

CSL
2001
Springer

93views Automated Reasoning» more CSL 2001»

A Logic for Abstract State Machines

14 years 4 days ago

A Logic for Abstract State Machines

Download www.jucs.org

Robert F. Stärk, Stanislas Nanchen

claim paper

Read More »

19

SRDS
2000
IEEE

81views Operating System» more SRDS 2000»

Abstractions for Devising Byzantine-Resilient State Machine Replication

14 years 16 hour ago

Abstractions for Devising Byzantine-Resilient State Machine Replication

Download infoscience.epfl.ch

Assia Doudou, Rachid Guerraoui, Benoît Garbi...

claim paper

Read More »

21

AC
2000
Springer

101views Software Engineering» more AC 2000»

Abstract Machines, Control, and Sequents

13 years 12 months ago

Abstract Machines, Control, and Sequents

Download www.pps.jussieu.fr

Pierre-Louis Curien

claim paper

Read More »

21

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

13 years 12 months ago

Model Checking Abstract State Machines and Beyond

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

23

ASM
2000
ASM

133views Computational Biology» more ASM 2000»

Using Abstract State Machines at Microsoft: A Case Study

13 years 12 months ago

Using Abstract State Machines at Microsoft: A Case Study

Download research.microsoft.com

Michael Barnett, Egon Börger, Yuri Gurevich, ...

claim paper

Read More »

« Prev « First page 15 / 384 Last » Next »