[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: |
Barry Norton |
Subject: |
RE: [CASHeW-s-engine] Can delta tick if sigma is hidden? |
Date: |
Tue, 23 Nov 2004 19:42:29 -0000 |
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
- [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 <=
- 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