[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?
From: |
Simon D. Foster |
Subject: |
RE: [CASHeW-s-engine] Can delta tick if sigma is hidden? |
Date: |
Tue, 23 Nov 2004 23:26:14 +0000 |
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
- [CASHeW-s-engine] Can delta tick if sigma is hidden?, Simon Foster, 2004/11/23
- Re: [CASHeW-s-engine] Can delta tick if sigma is hidden?, Andrew John Hughes, 2004/11/23
- RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?, Barry Norton, 2004/11/23
- RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?, Simon D. Foster, 2004/11/23
- RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?, Barry Norton, 2004/11/23
- RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?, Simon D. Foster, 2004/11/23
- RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?, Simon D. Foster, 2004/11/23
- RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?, Barry Norton, 2004/11/23
- RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?,
Simon D. Foster <=
RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?, Barry Norton, 2004/11/23