From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <3975dc26268439fd3e131812088febac@vitanuova.com>
To: 9fans@cse.psu.edu
Subject: RE: [9fans] APE select(2)
From: rog@vitanuova.com
In-Reply-To: <25c7173cb159c70f2652fd026113def1@proxima.alt.za>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Fri,  2 Apr 2004 14:49:16 +0100
Topicbox-Message-UUID: 4eff1936-eacd-11e9-9e20-41e7f4b1d025

> Now to do a little more digging.  Promela, unfortunately, I am not at
> all familiar with, but this may be an occasion to catch up.

it's well worth it.