Other formats:
BibTeX
LaTeX
RIS
@inproceedings{905388,
author = {Beneš, Nikola and Křetínský, Jan},
address = {Brno},
booktitle = {MEMICS 2010},
keywords = {modal transition systems; process algebra; refinement},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Brno},
isbn = {978-80-87342-10-7},
pages = {20-27},
publisher = {NOVPRESS s.r.o.},
title = {Process Algebra for Modal Transition Systemses},
year = {2010}
}
TY - JOUR
ID - 905388
AU - Beneš, Nikola - Křetínský, Jan
PY - 2010
TI - Process Algebra for Modal Transition Systemses
PB - NOVPRESS s.r.o.
CY - Brno
SN - 9788087342107
KW - modal transition systems
KW - process algebra
KW - refinement
N2 - Abstract. The formalism of modal transition systems (MTS) is a well established framework for systems specification as well as abstract interpretation. Nevertheless, due to incapability to capture some useful features, various extensions have been studied, such as e.g. mixed transition systems or disjunctive MTS. Thus a need to compare them has emerged. Therefore, we introduce transition system with obligations as a general model encompassing all the aforementioned models, and equip it with a process algebra description. Using these instruments, we then compare the previously studied subclasses and characterize their relationships.
ER -
BENEŠ, Nikola and Jan KŘETÍNSKÝ. Process Algebra for Modal Transition Systemses. In \textit{MEMICS 2010}. Brno: NOVPRESS s.r.o., 2010, p.~20-27. ISBN~978-80-87342-10-7.
|
