Sciweavers

11168 search results - page 22 / 2234

» Abstract State Processes

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 »

24

ASM
2000
ASM

157views Computational Biology» more ASM 2000»

Abstract State Machines and Computationally Complete Query Languages

13 years 12 months ago

Abstract State Machines and Computationally Complete Query Languages

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Jan Van den Bussche

claim paper

Read More »

20

ASM
2000
ASM

129views Computational Biology» more ASM 2000»

Abstract State Machines at the Cusp of the Millenium

13 years 12 months ago

Abstract State Machines at the Cusp of the Millenium

Download www.di.unipi.it

Egon Börger

claim paper

Read More »

19

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

13 years 12 months ago

Investigating Java Concurrency Using Abstract State Machines

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

15

FM
1999
Springer

99views Formal Methods» more FM 1999»

Logspace Reducibility via Abstract State Machines

13 years 12 months ago

Logspace Reducibility via Abstract State Machines

Download www.eecs.umich.edu

Erich Grädel, Marc Spielmann

claim paper

Read More »

« Prev « First page 22 / 2234 Last » Next »