Receive Statement

receive (mt msg_var) [when b1] {

statement;

}

or receive (mt msg_var) [when b2] {

statement;

}

Ö

or timeout in/after (exp) {

statement;

}

where mt is a message type, bi is a boolean expression (guard), and exp is a clocktype expression

Previous slide

Next slide

Back to first slide

View graphic version