Greg;
Suppose we talk about doing a pratical model as a means of applying your
hypothetical model. It is much easier to understand a process if you can
tie it to a real life situation. But first, instead of trying to hit all of
your shopping list in one go, let's just start with the most simple to
implement. Once we understand how this is working, then we add additional
functionality and complexity. In this way, we understand the impact of each
additional feature we add on the model. This is how one eats the elephant,
one bite at a time (and pray for enough space in the refrigerator for the
leftovers).
Best wishes; Chris
----- Original Message -----
From: "Gregory Woodhouse" <[EMAIL PROTECTED]>
To: <hardhats-members@lists.sourceforge.net>
Sent: Monday, January 16, 2006 6:12 PM
Subject: Re: [Hardhats-members] My brain hurts
>
> On Jan 16, 2006, at 5:08 PM, Chris Richardson wrote:
>
> > What did you have in mind for your async or synchronous tasks to do?
>
> The (closely related) problems that particularly interest me are
>
> 1. Defining compositional semantics of concurrent systems
> 2. Proving correctness of programs in the face of concurrency
> 3. Effectively optimizing concurrent code
> 4. Generating code from specifications
>
> The problem is that it's much harder to reason about concurrent
> systems, particularly when concurrency is described in terms of a
> process model. So right now, I'm exploring alternatives to the
> traditional process model (which has a lot to do with my interest in
> functional programming)
> .
>
> ===
> Gregory Woodhouse
> [EMAIL PROTECTED]
>
> "Prediction is difficult, especially of the future."
> --Niels Bohr
>
>
>
>
> -------------------------------------------------------
> This SF.net email is sponsored by: Splunk Inc. Do you grep through log
files
> for problems? Stop! Download the new AJAX search engine that makes
> searching your log files as easy as surfing the web. DOWNLOAD SPLUNK!
> http://sel.as-us.falkag.net/sel?cmd=lnk&kid=103432&bid=230486&dat=121642
> _______________________________________________
> Hardhats-members mailing list
> Hardhats-members@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/hardhats-members
>
>
-------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc. Do you grep through log files
for problems? Stop! Download the new AJAX search engine that makes
searching your log files as easy as surfing the web. DOWNLOAD SPLUNK!
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=103432&bid=230486&dat=121642
_______________________________________________
Hardhats-members mailing list
Hardhats-members@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hardhats-members
