Sicherer Datenaustausch

• gemeinsamer Speicherbereich, aber exklusive Zugriffe durch Locks
• Speicherzellen mit atomaren Zugriffen: Semaphore

  Haskell: MVar, Chan

• lokale Parameterübergabe zwischen Co-Routinen

  Scala: Actor, Ada: Rendezvous