Müller-Clostermann, Bruno; Brenner, Freimut:
Synchronized concurrent processes as a modelling pattern and their efficient solution by compositional uniformization
Vierter Workshop des GI-ITG-Fachausschusses MMB zur Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen
Hamburg, 2007
2007Lecture / Speech
Computer ScienceEconomics
Title in English:
Synchronized concurrent processes as a modelling pattern and their efficient solution by compositional uniformization
Conference
Vierter Workshop des GI-ITG-Fachausschusses MMB zur Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen
Author:
Müller-Clostermann, BrunoUDE
LSF ID
5102
Other
connected with university
;
Brenner, Freimut
Place of publication:
Hamburg
Year of publication:
2007
Language of text:
English