2 Matching Annotations
  1. Aug 2022
    1. The interaction operator seq means that the combined fragment represents a weak sequencing between the behaviors of the operands.
    2. Weak sequencing reduces to a parallel merge when the operands are on different sets of participants. Weak sequencing reduces to strict sequencing when the operands work on the same participant.

      weak sequencing - reduces to: - or: - parallel (simultaneous) - strict sequencing