Related Work (1/4)

[Kobayashi 97]Partially deadlock-free typed process calculus

• In what way each channel may be used

  • Linear Channels (used just once for communication)
  • Mutex Channels (used like binary semaphores)
  • Replicated Input Channels (used for process definition)

• In what order those channels may be used

  • Time tags and their ordering

Previous slide

Next slide

Back to first slide

View graphic version