Rendezvous (II)

• ein Prozeß (Server) führt accept aus,

  anderer Prozeß (Client) führt Aufruf aus.

• beide Partner müssen aufeinander warten
• accept Foo ( .. ) do .. end Foo ist atomar

Modellierung mittels Petri-Netz?