Search Sciweavers | Sciweavers

291 search results - page 1 / 59

» Liveness-Preserving Atomicity Abstraction

click to vote

ICALP
2011
Springer

258views Programming Languages» more ICALP 2011»

Liveness-Preserving Atomicity Abstraction

12 years 12 months ago

Download software.imdea.org

-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

claim paper

Read More »

click to vote

PODC
1999
ACM

110views Distributed and Parallel Com...» more PODC 1999»

Liveness-Preserving Simulation Relations

14 years 25 days ago

Download groups.csail.mit.edu

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

claim paper

Read More »

click to vote

AAAI
2004

111views Intelligent Agents» more AAAI 2004»

Logic Programs with Abstract Constraint Atoms

13 years 10 months ago

Download www.aaai.org

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

claim paper

Read More »

click to vote

AAAI
2006

132views Intelligent Agents» more AAAI 2006»

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

13 years 10 months ago