

Beschreibung
Zur Zeit liegt uns keine Inhaltsangabe vor. Klappentext Zur Zeit liegt uns keine Inhaltsangabe vor. Inhalt Session 1.- Real-Time Calculi and Expansion Theorems (Extended Abstract).- Modal Logics in Timed Process Algebras.- Process Communication Environment.- ...