Re: [9fans] 9vx, kproc and *double sleep*

[erik quanstrom]

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

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

- erik