Mgr. Petr Slovák

Bakalářská práce

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 …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 22. 5. 2008

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

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

Citační záznam

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

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika