Rely-guarantee reasoning specifications typically consider all components of a concurrent system. For the important case where components operate on a shared data object, we derive a local instance of rely-guarantee reasoning, which permits specifications to examine a single pair of representative components only. Based on this instance, we define local proof obligations for linearizability and...

In the context of the decoherent histories approach to quantum theory, it is shown that macroscopic states consisting of histories of local densities (number, momentum , energy) exhibit negligible interference. This follows from the close connection of the local densities with the corresponding exactly conserved (and so exactly decoherent) quantities, and also from the observation that the eige...

Laws of the iterated logarithm are established for the local U-statistic process. This entails the development of probability inequalities and moment bounds for U-processes that should be of separate interest. The local U-statistic process is based upon an estimator of the density of a function of several i.i.d. variables proposed by Frees (1994). As a consequence, our results are directly appl...

In the context of the decoherent histories approach to quantum theory, it is shown that a class of macroscopic configurations consisting of histories of local densities (number, momentum, energy) exhibit negligible interference. This follows from the close connection of the local densities with the corresponding exactly conserved (and so exactly decoherent) quantities, and also from the observa...

We discuss the derivation of the trace anomaly using a non-local effective action at one loop. This provides a simple and instructive form and emphasizes infrared physics. We then use this example to explore several of the properties of non-local actions, including displaying the action for the full non-local energy-momentum tensor. As an application, we show that the long-distance corrections ...

In this paper, we show that the analysis of right-node-raising (RNR) in coordinate structures proposed in Sarkar and Joshi (1996) can be extended to non-local RNR if it is augmented with delayed tree locality (Chiang and Scheffler, 2008), but not with flexible composition (Joshi et al., 2003). In the proposed delayed tree-local analysis, we define multicomponent (MC) elementary tree sets with c...

Let $mathcal{A}$ be a Banach algebra and $mathcal{M}$ be a Banach $mathcal{A}$-bimodule. We say that a linear mapping $delta:mathcal{A} rightarrow mathcal{M}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{A} rightarrow mathcal{M}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{A}$. Giving some facts concerning general...

Multicomponent Tree Adjoining Grammars (MCTAG) is a formalism that has been shown to be useful for many natural language applications. The definition of MCTAG however is problematic since it refers to the process of the derivation itself: a simultaneity constraint must be respected concerning the way the members of the elementary tree sets are added. This way of characterizing MCTAG does not al...

recently, the algebraic theory of mv -algebras is intensively studied. in this paper, we extend the concept of derivation of $mv$-algebras and we give someillustrative examples. moreover, as a generalization of derivations of $mv$ -algebraswe introduce the notion of $f$-derivations and $(f; g)$-derivations of $mv$-algebras.also, we investigate some properties of them.