898 search results - page 90 / 180 » Transitions of the Pre-Symmetry Set |
154
click to vote
DLT
2003
15 years 7 months ago
2003
We present different techniques for reducing the number of states and transitions in nondeterministic automata. These techniques are based on the two preorders over the set of st...
163
click to vote
FORTE
1994
15 years 7 months ago
1994
We discuss four issues concerning the semantics of Message Flow Graphs (MFGs). MFGs are extensively used as pictures of message-passing behavior. One type of MFG, Message Sequence...
169
click to vote
ENTCS
2010
15 years 6 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
137
click to vote
IJBC
2006
15 years 6 months ago
2006
We study a binary-cell-states eight-cell neighborhood two-dimensional cellular automaton model of a quasi-chemical system with a substrate and a reagent. Reactions are represented...
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...