TY - GEN
T1 - Process Algebra for Modal Transition Systemses
AU - Beneš, Nikola
AU - Křetínský, Jan
N1 - Publisher Copyright:
© Nikola Beneš and Jan Křetínský; licensed under Creative Commons License NC-ND
PY - 2011/3/1
Y1 - 2011/3/1
N2 - 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.
AB - 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.
KW - modal transition systems
KW - process algebra
KW - specification
UR - http://www.scopus.com/inward/record.url?scp=85127635444&partnerID=8YFLogxK
U2 - 10.4230/OASIcs.MEMICS.2010.9
DO - 10.4230/OASIcs.MEMICS.2010.9
M3 - Conference contribution
AN - SCOPUS:85127635444
T3 - OpenAccess Series in Informatics
SP - 9
EP - 18
BT - 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers), MEMICS 2010
A2 - Matyska, Ludek
A2 - Kozubek, Michal
A2 - Vojnar, Tomas
A2 - Zemcik, Pavel
A2 - Antos, David
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010
Y2 - 22 October 2010 through 24 October 2010
ER -