2470 search results - page 1 / 494 » Liveness-Preserving Simulation Relations |
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...
ICALP
2011
Springer
12 years 8 months ago
2011
Springer
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
DSRT
2004
IEEE
13 years 8 months ago
2004
IEEE
WSC
1994
13 years 6 months ago
1994
DEDS
2008
13 years 4 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...