260 search results - page 15 / 52 » A Semantics for Concurrent Separation Logic |
140
click to vote
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
122
click to vote
ENTCS
2007
15 years 3 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
148
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
128
Voted
MSCS
2007
15 years 3 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
124
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...