Sciweavers

291 search results - page 1 / 59
» Liveness-Preserving Atomicity Abstraction
Sort
View
ICALP
2011
Springer
13 years 1 months ago
Liveness-Preserving Atomicity Abstraction
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
Alexey Gotsman, Hongseok Yang
PODC
1999
ACM
14 years 2 months ago
Liveness-Preserving Simulation Relations
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...
Paul C. Attie
AAAI
2004
13 years 11 months ago
Logic Programs with Abstract Constraint Atoms
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 (...
Victor W. Marek, Miroslaw Truszczynski
DAGSTUHL
2006
13 years 11 months ago
06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science
Gerhard Weikum, Cliff B. Jones, David B. Lomet, Al...