28 search results - page 6 / 6 » Complete Lattices and Up-To Techniques |
SIROCCO
2008
13 years 6 months ago
2008
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
PODC
1999
ACM
13 years 9 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
BMCBI
2007
13 years 5 months ago
2007
Background: Biochemical investigations over the last decades have elucidated an increasingly complete image of the cellular metabolism. To derive a systems view for the regulation...