260 search results - page 22 / 52 » A Semantics for Concurrent Separation Logic |
168
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
131
Voted
APN
2001
Springer
15 years 7 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
112
Voted
AI
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
101
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
111
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...