From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
From: ftryda95@my-deja.com
Message-ID: <8v38em$baf$1@nnrp1.deja.com>
Subject: [9fans] Promela
Date: Mon, 20 Nov 2000 10:57:27 +0000
Topicbox-Message-UUID: 2cdaa4a0-eac9-11e9-9e20-41e7f4b1d025

Have anybody here programmed "The Bakery Algorithm" in promela? If
that's the case, I would appreciate to have a look at it.


Sent via Deja.com http://www.deja.com/
Before you buy.