74 search results - page 12 / 15 » Local Proofs for Linear-Time Properties of Concurrent Progra... |
104
click to vote
CADE
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
110
click to vote
CJ
2010
14 years 9 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
146
Voted
GPC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
192
Voted
POPL
2005
ACM
15 years 12 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
88
Voted
ENTCS
2010
14 years 11 months ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...