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

[Simon D. Foster]

On Tue, 2004-11-23 at 16:58 +0000, Barry Norton wrote:
> Oh, you mean (rho.0)/sigma?

Yes

> If this is the stable rho prefix a per the WICSA paper, then Andrew's
> right - in a maximal progress setting the sigma tick prevents the rho
> (and all other clocks).

I think we really need to rewrite the syntax so that it only includes
the core syntax of CaSE, and derive the rest using functions. Shouldn't
be difficult, I'll get on with it ASAP.

-Si.

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