From mboxrd@z Thu Jan  1 00:00:00 1970
From: erik quanstrom <quanstro@quanstro.net>
Date: Fri, 11 Jun 2010 14:36:29 -0400
To: 9fans@9fans.net
Message-ID: <a02ab71d858a10dc6bea0774b1fb684c@kw.quanstro.net>
In-Reply-To: <20100611183405.831205B8B@mail.bitblocks.com>
References: <4C1242CD.5020202@bouyapop.org>
	<AANLkTilQUS_JD8CWkcSJt_boJ1tBTG4i_xjZTfYfeyUl@mail.gmail.com>
	<f398e344c84e5946e0189ebb69638d57@kw.quanstro.net>
	<4C124F5E.10104@bouyapop.org>
	<20100611171151.2E04B5B8B@mail.bitblocks.com>
	<4C12730E.8060601@bouyapop.org>
	<20100611183405.831205B8B@mail.bitblocks.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] 9vx, kproc and *double sleep*
Topicbox-Message-UUID: 31b8c3e6-ead6-11e9-9d60-3106f5b1d025

> I haven't used promela so can't say anything about it.

http://spinroot.com/spin/Man/index.html

- erik