[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 18:19:14 -0000 |
> 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.
I think you should, but I have a different suggestion (thereafter) -
generalise the syntax further (for the theory) and implement a
sub-calculus to that!
The reason I keep saying "in a maximal progress scenario" is that I
think we need a non-MP language for the bulk of the workflow...
(Which is why I'm concerned that you understand the difference between
the synchronisation of actions and clocks, and what hiding means in
itself, but am less concerned for now about which clocks are
pre-empted... you've probably seen this in my responses.)
Barry
- [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 <=
- 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, 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