From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <20000918204344.19984.qmail@g.bio.cse.psu.edu>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] spin/trace source for plan9 scheduler 
In-Reply-To: Message from "Gerard J. Holzmann" <gerard@research.bell-labs.com> 
   of "Mon, 18 Sep 2000 16:16:35 EDT." <200009182018.QAA65558638@nslocum.cs.bell-labs.com> 
Date: Mon, 18 Sep 2000 16:43:43 -0400
From: Scott Schwartz <schwartz@bio.cse.psu.edu>
Topicbox-Message-UUID: 0919bb50-eac9-11e9-9e20-41e7f4b1d025

Gerard:
| the final spin model mentioned in the paper (with
| the correction for the flaws discussed then) can be
| retrieved from:
| 	ftp://cm.bell-labs.com/cm/cs/who/gerard/sleep_wakeup

Does that include a discussion of the fixes that were required
for the third edition?