mirror of
https://github.com/tu-darmstadt-informatik/Tu-Darmstadt-Informatik-Kurse.git
synced 2025-12-13 09:55:48 +00:00
22 lines
397 B
Promela
22 lines
397 B
Promela
chan request = [0] of { byte };
|
|
chan reply = [0] of { byte };
|
|
|
|
active [2] proctype Server() {
|
|
byte num;
|
|
end:
|
|
do
|
|
:: request ? num ->
|
|
printf("Client %d processed by server %d\n",
|
|
num, _pid);
|
|
reply ! _pid
|
|
od
|
|
}
|
|
|
|
active [2] proctype Client() {
|
|
byte server;
|
|
request ! _pid;
|
|
reply ? server;
|
|
printf("Reply received from server %d by client %d\n",
|
|
server, _pid)
|
|
}
|