9fans archive / 1999 / 12 / 13 /    prev next

From: rob rob@pla...
Subject: [9fans] spin2000, correction
Date: Mon, 13 Dec 1999 13:18:48 -0500

Do you mean the Promela program that described the
scheduler?  I believe that is long gone.

-rob