Usages (1/2): Input/Output

• U (usage) :=

  • O (output)
  • I . U (input + sequential execution)
  • U | V (parallel execution)
  • ? (none)

• x:[]/(O|I)├ x![] | x?[]

• x:[]/(O|I)├ x![] | x![] | x?[] | x?[]

Previous slide

Next slide

Back to first slide

View graphic version