Back to search

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 …more
 

Keywords

Message Sequence Charts High-level Message Sequence Charts race conditions trace race conditions
 
Language used: English
Date on which the thesis was submitted / produced: 22. 5. 2008
Identifier: https://is.muni.cz/th/lr0r9/

Thesis defence

  • Date of defence: 26. 6. 2008
  • Supervisor: RNDr. Vojtěch Řehák, Ph.D.
  • Reader: doc. Mgr. Radek Pelánek, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution