Publication details

<< back
 

Process Algebra for Modal Transition Systemses

Basic information
Original title:Process Algebra for Modal Transition Systemses
Authors:Nikola Beneš, Jan Křetínský
Further information
Citation:BENEŠ, Nikola and Jan KŘETÍNSKÝ. Process Algebra for Modal Transition Systemses. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. p. 9--18, 10 pp. ISBN 978-3-939897-22-4.Export BibTeX
@inproceedings{950179,
author = {Beneš, Nikola and Křetínský, Jan},
address = {Dagstuhl, Germany},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
keywords = {modal transition systems; process algebra; specification},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Dagstuhl, Germany},
isbn = {978-3-939897-22-4},
pages = {9--18},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
title = {Process Algebra for Modal Transition Systemses},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3070},
year = {2011}
}
Original language:English
Field:Informatics
WWW:link to a new windowhttp://drops.dagstuhl.de/opus/volltexte/2011/3070
Type:Article in Proceedings
Keywords:modal transition systems; process algebra; specification

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:

 
 
top