Opacity is a general approach for describing and unifying security properties expressed as predicates. A predicate is opaque if an observer of the system is unable to determine the satisfaction of the predicate in a given run of the system. The meaning of opacity is straightforward when considering the standard (qualitative) operational semantics, but there are a number of possible interpretati...

Interestingly, syntactic pattern recognition for seismic oil exploration that you really wait for now is coming. It's significant to wait for the representative and beneficial books to read. Every book that is provided in better way and utterance will be expected by many peoples. Even you are a good reader or not, feeling to read this book will always appear when you find it. But, when you feel...

We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To this aim we give algebraic characterizations for the language operations of generating the polynomial closure and generating the unambiguous polynomial closure over traces. We also show that there exist natural fragments of local...

Disjunctive systems are a representation of L-domains. They use sequents of the form X ` Y , with X nite and Y pairwise disjoint. We show that for any disjunctive system, its elements ordered by inclusion form an L-domain. On the other hand, via the notion of stable neighborhoods, every L-domain can be represented as a disjunctive system. More generally, we have a categorical equivalence betwee...

A right ideal (left ideal, two-sided ideal) is a non-empty language L over an alphabet Σ such that L = LΣ∗ (L = Σ∗L, L = Σ∗LΣ∗). Let k = 3 for right ideals, 4 for left ideals and 5 for two-sided ideals. We show that there exist sequences (Ln | n > k) of right, left, and two-sided regular ideals, where Ln has quotient complexity (state complexity) n, such that Ln is most complex in its class und...

This paper is concerned with characterizing psych-predicates in Korean and possibly in Japanese in the GL spirit. We focus on the the status of the Experiencer (or ‘judge’) in relation to other arguments and examine the firstperson subjectivity data (constraint). The relevant cause and effect relation and consequent coerced event function is postulated for coherent interpretation.

In this paper we consider techniques to identify and remove redundant predicates during predicate abstraction. We give three criteria for identifying redundancy. A predicate is redundant if any of the following three holds (i) the predicate is equivalent to a propositional function of other predicates. (ii) removing the predicate preserves safety properties satisfied by the abstract model (iii)...