7,915 research outputs found
Behavioral Equivalences
Beahvioral equivalences serve to establish in which cases two reactive (possible concurrent) systems offer similar interaction capabilities relatively to other systems representing their operating environment. Behavioral equivalences have been mainly developed in the context
of process algebras, mathematically rigorous languages that have been used for describing and verifying properties of concurrent communicating systems. By relying on the so called structural operational semantics (SOS), labelled transition systems, are associated to each term of a process
algebra. Behavioral equivalences are used to abstract from unwanted details and identify those labelled transition systems that react âsimilarlyâ to external experiments. Due to the large number of properties which may be relevant in the analysis of concurrent systems, many different theories
of equivalences have been proposed in the literature. The main contenders consider those systems equivalent that (i) perform the same sequences of actions, or (ii) perform the same sequences of actions and after each sequence are ready to accept the same sets of actions, or (iii) perform the
same sequences of actions and after each sequence exhibit, recursively, the same behavior. This approach leads to many different equivalences that preserve significantly different properties of systems
Process Algebras
Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
They can be seen as models of processes, regarded as agents that act and interact continuously with other similar agents and with their common environment. The agents may be real-world objects (even people), or they may be artifacts, embodied perhaps in computer hardware or software systems.
Many different approaches (operational, denotational, algebraic) are taken for describing the meaning of processes. However, the operational approach is the reference one. By relying on the so called Structural Operational Semantics (SOS), labelled transition systems are built and composed by using the different operators of the many different process algebras. Behavioral equivalences are used to abstract from unwanted details and identify those systems that react similarly to external
experiments
âIt was, we felt, their countryâ : childhood elsewhere in Mordecai Richlerâs The Street
Since the Industrial revolution, historians and critics agree, concepts of time and space have become inappropriate to describe contemporary society: it is a shifting, moving, liquid world, and progresses in technologies only contribute to peopleâs feeling of being always âelsewhereâ. Instantaneity and movement are the constituent referents of our post-modern era, where the loss of certainties leaves human beings with little self-confidence and beliefs. To be foreign in oneâs own country is daily routine; but it can also be an incitement to produce stories of condemnation. This article seeks to show how Jewish-Canadian author Mordecai Richler uses his powerful and striking irony to denounce Jews condition in 1940sâ Montreal ghetto, and how the stories collected in The Street describe the âelsewherenessâ his community was forced to experience. Nevertheless, the paper will analyse how Richler challenges stereotypes and prejudices, focusing on the spaces of otherness he had experienced in his childhood years and which have made him one of the greatest Canadian voices of 20th century.peer-reviewe
Efficient deterministic approximate counting for low-degree polynomial threshold functions
We give a deterministic algorithm for approximately counting satisfying
assignments of a degree- polynomial threshold function (PTF). Given a
degree- input polynomial over and a parameter
, our algorithm approximates to within an additive in time . (Any sort of efficient multiplicative approximation is
impossible even for randomized algorithms assuming .) Note that the
running time of our algorithm (as a function of , the number of
coefficients of a degree- PTF) is a \emph{fixed} polynomial. The fastest
previous algorithm for this problem (due to Kane), based on constructions of
unconditional pseudorandom generators for degree- PTFs, runs in time
for all .
The key novel contributions of this work are: A new multivariate central
limit theorem, proved using tools from Malliavin calculus and Stein's Method.
This new CLT shows that any collection of Gaussian polynomials with small
eigenvalues must have a joint distribution which is very close to a
multidimensional Gaussian distribution. A new decomposition of low-degree
multilinear polynomials over Gaussian inputs. Roughly speaking we show that (up
to some small error) any such polynomial can be decomposed into a bounded
number of multilinear polynomials all of which have extremely small
eigenvalues. We use these new ingredients to give a deterministic algorithm for
a Gaussian-space version of the approximate counting problem, and then employ
standard techniques for working with low-degree PTFs (invariance principles and
regularity lemmas) to reduce the original approximate counting problem over the
Boolean hypercube to the Gaussian version
Initial algebra for a system of right-linear functors
In 2003 we showed that right-linear systems of equations over regular expressions, when interpreted in a category of trees, have a solution when ever they enjoy a specific property that we called hierarchicity and that is instrumental to avoid critical mutual recursive definitions. In this note, we prove that a right-linear system of polynomial endofunctors on a cocartesian monoidal closed category which enjoys parameterized left list arithmeticity, has an initial algebra, provided it satisfies a property similar to hierarchicity
Conflicts and projections
This paper studies abstraction methods suitable to verify very large models of discrete-event systems to be nonconflicting. It compares the observer property to methods known from process algebra, namely to conflict equivalence and observation equivalence. The observer property is shown to be the property that corresponds to conflict equivalence in the case where natural projection is used for abstraction. In this case, the observer property turns out to be the least restrictive condition that can be imposed on natural projection to enable compositional reasoning about conflicts. The observer property is also shown to be closely related to observation equivalence. Several examples and propositions are presented to relate different aspects of these methods of abstraction
- âŠ