6 search results - page 2 / 2 » On Presburger Liveness of Discrete Timed Automata |
160
click to vote
SAGA
2005
Springer
15 years 11 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...