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

[Barry Norton]

Erm, what's delta.0?

Only actions can prefix terms...

(I'm presuming you mean Delta, capital, but like Nil (0) this is a term,
not an action...)

Barry



> -----Original Message-----
> From: address@hidden
> [mailto:address@hidden On
> Behalf Of Simon Foster
> Sent: Tuesday, November 23, 2004 2:52 PM
> To: Engine (CASheW-s)
> Subject: [CASHeW-s-engine] Can delta tick if sigma is hidden?
> 
> Quick question;
> 
> If I have a process (delta.0)/[sigma], should delta be able to tick? I
> don't think it should because sigma (although there are no
transitions)
> can tick, and will thus cause a silent action, preventing delta from
> ticking (since it isn't scoped).
> 
> Am I right?
> 
> -Si.
> 
> --
> Simon Foster <address@hidden>
> 
> 
> 
> _______________________________________________
> CASHeW-s-engine mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/cashew-s-engine