Process Algebra for Modal Transition Systemses

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BENEŠ Nikola KŘETÍNSKÝ Jan

Year of publication 2011
Type Article in Proceedings
Conference Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers
MU Faculty or unit

Faculty of Informatics

Citation
Web http://drops.dagstuhl.de/opus/volltexte/2011/3070
Field Informatics
Keywords modal transition systems; process algebra; specification
Attached files
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.