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

[Barry Norton]

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



-----Original Message-----
From: address@hidden
[mailto:address@hidden On
Behalf Of Simon D. Foster
Sent: 23 November 2004 19:12
To: Discussion on the CASHeW-s Engine
Subject: RE: [CASHeW-s-engine] Can delta tick if sigma is hidden?

One other thing, in rules ***** of the WICSA paper, (i.e. vector sigma)
are the given clock ticks stable, patient ticks or what? I need to right
a clocks function as my base case which allows this arbitrary sequence
of sigma ticks followed by a process.

-Si.

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



_______________________________________________
CASHeW-s-engine mailing list
address@hidden
http://lists.nongnu.org/mailman/listinfo/cashew-s-engine