@inproceedings{f554485c8ee7436b834717b695d46bc6,
title = "Process Algebra for Modal Transition Systemses",
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.",
keywords = "modal transition systems, process algebra, specification",
author = "Nikola Bene{\v s} and Jan K{\v r}et{\'i}nsk{\'y}",
note = "Publisher Copyright: {\textcopyright} Nikola Bene{\v s} and Jan K{\v r}et{\'i}nsk{\'y}; licensed under Creative Commons License NC-ND; 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010 ; Conference date: 22-10-2010 Through 24-10-2010",
year = "2011",
month = mar,
day = "1",
doi = "10.4230/OASIcs.MEMICS.2010.9",
language = "English",
series = "OpenAccess Series in Informatics",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "9--18",
editor = "Ludek Matyska and Michal Kozubek and Tomas Vojnar and Pavel Zemcik and David Antos",
booktitle = "6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers), MEMICS 2010",
}