UAN: Temporal relations

• strict sequence A,B
  • B follows completion of A

• Order independence A&B
  • A and B can be done in any order

• Concurrence with A|| B
  • A and B are done simultaneously

• Interruptible by A->B
  • A can interrupt B

• Interleavable A<|>B
  • Swapping between A and B

Previous slide

Next slide

Back to first slide

View graphic version