Sciweavers

17298 search results - page 4 / 3460
» Abstract computing machines
Sort
View
ASM
2000
ASM
13 years 12 months ago
Using Abstract State Machines at Microsoft: A Case Study
Michael Barnett, Egon Börger, Yuri Gurevich, ...
CMSB
2010
Springer
13 years 2 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
MFPS
1993
13 years 11 months ago
A Chemical Abstract Machine for Graph Reduction
al abstract machine for graph reduction Alan Jeffrey Report 3/92 August 1992 Computer Science School of Cognitive and Computing Sciences University of Sussex Brighton BN1 9QH ISSN ...
Alan Jeffrey
ASM
1998
ASM
13 years 11 months ago
Interacting Abstract State Machines
Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...
CMSB
2004
Springer
14 years 28 days ago
The Biochemical Abstract Machine BIOCHAM
Nathalie Chabrier-Rivier, François Fages, S...