transition systems
Comparing Transition Systems with Independence and Asynchronous Transition Systems
... asynchronous transition systems is clearly not limited to the example above; for instance, Bednarczyk [1] and Mukund and Nielsen [14] have shown that noninterleaving related issues for CCS processes—such as ...
14
Bisimulations for Fuzzy Transition Systems revisited
... labeled transition systems, and their various proba- bilistic and fuzzy ...probabilistic systems considered in [1], a similar group-by- group probabilistic bisimulation is proposed, but eludes a ...
19
Polynomial time algorithms for computing distances of Fuzzy Transition Systems
... Some explanations are in order. Regarding (1), remark that the definition in [5] is given in the non-discounted setting, where the present distances and the distances in future are equally weighted. In our setting, the ...
14
Reasoning about bounds in weighted transition systems
... weighted transition systems, although in the more general setting of synchronization trees with weights in an arbitrary monoid or ...weighted transition system starting in some state which will ...
32
Formally Verified Compositional Algorithms for Factored Transition Systems
... factored transition systems, if one uses any of those algorithms naively, he needs to construct the digraph modelling the state space to solve the reachability ...factored transition systems ...
108
A complete approximation theory for weighted transition systems
... weighted transition systems (WTSs), which relates those states that have similar behavior with respect to their minimum and maximum weights on transitions, as well as an accompanying modal logic to reason ...
17
Cache Transition Systems for Graph Parsing
... the transition system to include moves inserting new vertices into the ...Our transition system was primarily motivated by these theoretical considerations, and many other definitions are ...possible ...
34
Divisible Transition Systems and Multiplanar Dependency Parsing
... divisible transition systems, where tran- sition systems for dependency parsing can be defined by composition and restriction of the five elementary transitions S HIFT , U NSHIFT , R EDUCE , L EFT -A ...
48
Quiescent transition systems
... Transitions Systems (LTSs), which model systems using states, actions and tran- sitions; Input-Output Transition Systems (IOTSs), which extend LTSs by distinguishing between input and output ...
75
Transition Systems with Independence and Multi Arcs
... asynchronous transition systems is clearly not limited to the example above; for instance, Bednarczyk [1] and Mukund and Nielsen [15] have shown that noninterleaving related issues for CCS processes — such ...
16
An Empirical Principle for the Data Flow Analysis in State Transition Systems
... Statecharts as a semi-formal model is actually the mostly used formalism to specify requirements for embedded systems [4]. Although Statecharts provide graphical facilities, they might lack formal and unambiguous ...
5
Sequence to sequence Models for Cache Transition Systems
... to transition action se- quence problem using a special transi- tion system called a cache transition sys- ...the transition state to provide relevant local information for each de- coder ...the ...
11
Higher Dimensional Transition Systems
... This, together with the fact that the unfolding HDTS -+ oHDTS preserves and reflects bisimulation, proves the remarkable fact that the natural notion of bisimulation of higher dimensiona[r] ...
8
Static Analysis of Symbolic Transition Systems with Goose
... Symbolic Transition Systems (STS). These variations of transition systems describe the states and executions of a program with possibly an infinite state ...start transition. The start ...
126
Expressiveness of probabilistic modal logics, revisited
... The fact that the logical characterization result can be established with a purely positive logic was a surprise at the time. It opened the door to the possibility that there could be a logical characterization of ...
13
Phase Transition Study in Some Superionic Systems
... phase transition in superionic solids will be resolved soon by well founded theoretical ...phase transition temperature (T p ) and any of these can be used to look at the nature of phase ...
6
Articles | British Journal of Community Justice
... peacebuilding systems highlight a step that can be implemented immediately on any scale – a focus on ...traditional systems - with unfamiliar, counter-cultural formal justice ...traditional systems ...
14
Impact of quenched random fields on the ferroelectric to relaxor crossover in the solid solution (1−x)BaTiO3−xDyFeO3
... BT-based systems and the most probable mechanism is related to the effect of substitution of ferroactive Ti cations by Fe cations the contribution of which to ferroelectricity is less ...
15
Sharp transition towards shared vocabularies in multi-agent systems
... The key question now is whether one can prove that this transition will always take place and on what time-scale. For our model, it is easy to prove that an absorbing state will be eventually reached with ...
13
Health service use and social vulnerability in a community-based sample of women on probation and parole, 2011–2013
... The overriding theme of our findings is one of lost op- portunities. Probation or parole involvement could pro- vide a mechanism to connect a severely disadvantaged and vulnerable group of women to services that address ...
6