7 search results - page 1 / 2 » On Unifying Assumption-Commitment Style Proof Rules for Conc... |
79
Voted
CONCUR
1994
Springer
15 years 5 months ago
1994
Springer
99
Voted
JAR
2008
15 years 1 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...
92
Voted
DAC
2005
ACM
16 years 2 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...
103
Voted
VMCAI
2010
Springer
15 years 10 months 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...
94
Voted
CCS
2001
ACM
15 years 5 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 ...