mirror of
https://github.com/tu-darmstadt-informatik/Tu-Darmstadt-Informatik-Kurse.git
synced 2025-12-13 09:55:48 +00:00
18 lines
238 B
Promela
18 lines
238 B
Promela
chan request = [0] of { byte };
|
|
|
|
active proctype Client0() {
|
|
request ! 0
|
|
}
|
|
|
|
active proctype Client1() {
|
|
request ! 1
|
|
}
|
|
|
|
active proctype Server() {
|
|
byte num;
|
|
do
|
|
:: request ? num;
|
|
printf("serving client %d\n", num)
|
|
od
|
|
}
|