Sciweavers

15792 search results - page 86 / 3159
» Computational Abstraction Steps
Sort
View
MFCS
1997
Springer
14 years 1 months ago
Simulation as a Correct Transformation of Rewrite Systems
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...
Wan Fokkink, Jaco van de Pol
ECEASST
2010
13 years 6 months ago
Assemblies as Graph Processes
This short paper explores the potential of embedding-based graph rewriting as a tool for understanding natural computing, and in particular self-assembly. The basic point of view i...
Dirk Janssens