Quotienting Share for Dependency Analysis
نویسندگان
چکیده
منابع مشابه
State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences
Quotienting by simulation equivalences is awell-established technique for reducing the size of nondeterministic Büchi automata.We adapt this technique to alternating Büchi automata. To this end we suggest two new quotients, namely minimax and semi-elective quotients, prove that they preserve the recognized languages, and show that computing them is not more difficult than computing quotients fo...
متن کاملBüchi Automata Can Have Smaller Quotients
We study novel simulation-like preorders for quotienting nondeterministic Büchi automata. We define fixed-word delayed simulation, a new preorder coarser than delayed simulation. We argue that fixed-word simulation is the coarsest forward simulation-like preorder which can be used for quotienting Büchi automata, thus improving our understanding of the limits of quotienting. Also, we show that c...
متن کاملPartial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
Partial model checking was proposed by Andersen in 1995 to verify a temporal logic formula compositionally on a composition of processes. It consists in incrementally incorporating into the formula the behavioural information taken from one process — an operation called quotienting — to obtain a new formula that can be verified on a smaller composition from which the incorporated process has be...
متن کاملStochastic Fragments: A Framework for the Exact Reduction of the Stochastic Semantics of Rule-Based Models
In this paper, we propose an abstract interpretation-based framework for reducing the state space of stochastic semantics for proteinprotein interaction networks. Our approach consists in quotienting the state space of networks. Yet interestingly, we do not apply the widelyused strong lumpability criterion which imposes that two equivalent states behave similarly with respect to the quotient, b...
متن کاملar X iv : m at h - ph / 9 81 10 29 v 1 2 9 N ov 1 99 8 Reduced phase space : quotienting procedure for gauge theories
We present a reduction procedure for gauge theories based on quotienting out the kernel of the presymplectic form in configuration-velocity space. Local expressions for a basis of this kernel are obtained using phase space procedures; the obstructions to the formulation of the dynamics in the reduced phase space are identified and circumvented. We show that this reduction procedure is equivalen...
متن کامل