RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?

[Simon D. Foster]

On Tue, 2004-11-23 at 19:42 +0000, Barry Norton wrote:
> Ticks?  They're hiding parameters - all the rule to which that's a side
> condition says is that you're allowed to write 'term hide vector' as a
> short-hand for writing hide operators for each clock in turn...
> (I.e. instead of writing what's on the right of that bottom rule, you
> can write what's on the left)
> 
> Barry

Sorry, I was unifying the definition of vector(sigma) in ***** with the
vector of rho in rule 5, which after looking again is actually part of a
compound definition of rule 8.

Does [E]sigma(X)rho(Y) mean [[E]sigma(X)]rho(Y)? If so does rule 8
simply mean do E if no-timeout, or F after a successive number of sigma
ticks, or does it mean do F after a successive number of arbitrary clock
ticks?

-Si.

-- 
Simon D. Foster <address@hidden>
Sheffield University