* [9fans] Promela
@ 2000-11-20 10:57 ftryda95
0 siblings, 0 replies; only message in thread
From: ftryda95 @ 2000-11-20 10:57 UTC (permalink / raw)
To: 9fans
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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-11-20 10:57 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-11-20 10:57 [9fans] Promela ftryda95
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).