4385 search results - page 43 / 877 » Abstraction for Concurrent Objects |
POPL
2009
ACM
15 years 5 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
ENTCS
2006
14 years 10 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
ICLP
2010
Springer
15 years 2 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
120
click to vote
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...