4767 search results - page 114 / 954 » Structures for Abstract Rewriting |
93
Voted
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
104
click to vote
STOC
1995
ACM
15 years 5 months ago
1995
ACM
c communication case. This lemma generalizes and abstracts in a very clean form the ``round reduction'' techniques used in many previous lower bound proofs. ] 1998 Academ...
105
click to vote
ACNS
2010
Springer
15 years 5 months ago
2010
Springer
ded abstract of this paper appears in Applied Cryptography and Network Security
112
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
94
Voted
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...