4767 search results - page 114 / 954 » Structures for Abstract Rewriting |
CONCUR
1998
Springer
14 years 1 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 ...
STOC
1995
ACM
14 years 1 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...
ACNS
2010
Springer
14 years 1 months ago
2010
Springer
ded abstract of this paper appears in Applied Cryptography and Network Security
FOSSACS
2008
Springer
13 years 11 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...
VMCAI
2007
Springer
14 years 3 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 ...