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

[Barry Norton]

Oh, you mean (rho.0)/sigma?

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).

Barry

> -----Original Message-----
> From: address@hidden
> [mailto:address@hidden On
> Behalf Of Andrew John Hughes
> Sent: Tuesday, November 23, 2004 3:58 PM
> To: Discussion on the CASHeW-s Engine
> Subject: Re: [CASHeW-s-engine] Can delta tick if sigma is hidden?
> 
> On Tue, 2004-11-23 at 14:51, Simon Foster wrote:
> > 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.
> 
> Assuming delta is a clock (and were not talking capital delta, the
> timelock operator), I think it depends on whether there are other
sigma
> transitions elsewhere within the process as a whole.  If it is just
> (delta.O)/[sigma], then there are no sigma/tau replacements, so no
taus
> to stop delta ticking.
> 
> That's my thoughts, anyway,
> --
> Andrew :-)
> 
> Please avoid sending me Microsoft Office (e.g. Word, PowerPoint)
> attachments.
> See http://www.fsf.org/philosophy/no-word-attachments.html
> 
> "Value your freedom, or you will lose it, teaches history.
> `Don't bother us with politics' respond those who don't want to
learn."
> -- Richard Stallman
> 
> "We've all been part of the biggest beta test the world has ever known
--
> Windows"
> -- Victor Wheatman, Gartner