2227 search results - page 150 / 446 » Reversibility and Models for Concurrency |
391
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
158
Voted
EUROCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
A new public-key model for resettable zero-knowledge (rZK) protocols, which is an extension and generalization of the upper-bounded public-key (UPK) model introduced by Micali and ...
145
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
164
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
158
click to vote
PPDP
2000
Springer
15 years 9 months ago
2000
Springer
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...