Sciweavers

17298 search results - page 4 / 3460
» Abstract computing machines
Sort
View
ASM
2000
ASM
15 years 1 months ago
Using Abstract State Machines at Microsoft: A Case Study
Michael Barnett, Egon Börger, Yuri Gurevich, ...
CMSB
2010
Springer
14 years 4 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...
MFPS
1993
15 years 1 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
15 years 1 months ago
Interacting Abstract State Machines
Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...
CMSB
2004
Springer
15 years 2 months ago
The Biochemical Abstract Machine BIOCHAM
Nathalie Chabrier-Rivier, François Fages, S...