Assume that !p means sending message p and ?p receiving it. In the exhibit, what is true about Mneg?

Question

Options

• ANeither !p nor !q should be sent between a and b.
• B<!p, ?q, ?p, !q> is an invalid trace according to Mneg.
• Cp and q should not be sent concurrently from a to b.
• D<!p, !q, ?p, ?q> is an invalid trace according to Mneg.

• A
  3% (2)
• B
  7% (4)
• C
  13% (8)
• D
  77% (47)

No community discussion yet for this question.