7 search results - page 1 / 2 » On Unifying Assumption-Commitment Style Proof Rules for Conc... |
100
Voted
CONCUR
1994
Springer
15 years 7 months ago
1994
Springer
124
click to vote
JAR
2008
15 years 3 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
112
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
130
Voted
VMCAI
2010
Springer
16 years 27 days ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
121
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...