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
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
On Jan 16, 2006, at 6:42 PM, Chris Richardson wrote:
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