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

13 years 2 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 3 months 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

14 years 7 days 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

14 years 7 days ago