291 search results - page 1 / 59 » Liveness-Preserving Atomicity Abstraction |
141
Voted
ICALP
2011
Springer
14 years 4 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...
109
Voted
PODC
1999
ACM
15 years 5 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...
102
Voted
AAAI
2004
15 years 2 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
88
Voted
AAAI
2006
15 years 2 months ago
2006
82
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
