SPIN

Subject: SPIN
From: David Barnum (barnum81@earthlink.net)
Date: Thu Oct 28 1999 - 18:11:12 MDT

• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Jim Cole: "Re: One monitor, two computers?"
• Previous message: Jason P. Stanford: "Re: Basic Services Setup"

Does anyone know if there is a spin program, the simulator for Promela
specification language program for YDL ?
Dave

• Next message: Jim Cole: "Re: One monitor, two computers?"
• Previous message: Jason P. Stanford: "Re: Basic Services Setup"

This archive was generated by hypermail 2a24 : Tue Nov 02 1999 - 16:20:58 MST