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
2007Vortrag
InformatikWirtschaftswissenschaften
Titel in Englisch:
Synchronized concurrent processes as a modelling pattern and their efficient solution by compositional uniformization
Konferenz
Vierter Workshop des GI-ITG-Fachausschusses MMB zur Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen
Autor*in:
Müller-Clostermann, BrunoUDE
- LSF ID
- 5102
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Erscheinungsort:
Hamburg
Erscheinungsjahr:
2007
Sprache des Textes:
Englisch