2470 search results - page 1 / 494 » Liveness-Preserving Simulation Relations |
90
Voted
PODC
1999
ACM
15 years 2 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...
116
Voted
ICALP
2011
Springer
14 years 1 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...
66
Voted
DSRT
2004
IEEE
15 years 2 months ago
2004
IEEE
66
Voted
WSC
1994
14 years 11 months ago
1994
DEDS
2008
14 years 10 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...