Mgr. Petr Slovák

Bachelor's thesis

Race Conditions in Message Sequence Charts

Race Conditions in Message Sequence Charts
Abstract:
Race condition problem is known to be decidable for Message Sequence Charts (MSC) but it becomes undecidable for High-level MSC. This thesis introduces a modification of the race condition problem, so called trace race condition problem, that remains decidable even for High-level MSC (with coregions). In this thesis, we discuss differences between the race condition and the trace race condition problem …viac
 

Keywords

Message Sequence Charts High-level Message Sequence Charts race conditions trace race conditions
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 22. 5. 2008
Identifikátor: https://is.muni.cz/th/lr0r9/

Obhajoba závěrečné práce

  • Obhajoba proběhla 26. 6. 2008
  • Vedúci: RNDr. Vojtěch Řehák, Ph.D.
  • Oponent: doc. Mgr. Radek Pelánek, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce