mirror of
https://github.com/tu-darmstadt-informatik/Tu-Darmstadt-Informatik-Kurse.git
synced 2025-12-13 09:55:48 +00:00
16 lines
240 B
Promela
16 lines
240 B
Promela
chan ch = [0] of { byte, byte };
|
|
|
|
active proctype Sender() {
|
|
printf("ready\n");
|
|
ch ! 11, 45;
|
|
printf("Sent\n")
|
|
}
|
|
|
|
active proctype Receiver() {
|
|
byte hour, minute;
|
|
|
|
printf("steady\n");
|
|
ch ? hour, minute;
|
|
printf("Received\n")
|
|
}
|