Searched refs:transitions (Results 1 - 2 of 2) sorted by relevance

/hets/Maude/doc/
H A Dmaude.tex134 transitions between states; that is, while equations are interpreted as equalities and therefore
164 transitions between the elements in each set $A_k$; moreover, these
165 transitions must satisfy several additional requirements, including that
166 there are identity transitions for each element, that transitions can
168 are also appropriately defined for the transitions, and that we have
169 enough transitions corresponding to the rules in $R$. Then, if we keep in
175 will be our notation for such transitions.
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 32 milliseconds