Process Algebra for Modal Transition Systemses

Nikola Beneš, Jan Křetínský

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

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.

Original languageEnglish
Title of host publication6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers), MEMICS 2010
EditorsLudek Matyska, Michal Kozubek, Tomas Vojnar, Pavel Zemcik, David Antos
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages9-18
Number of pages10
ISBN (Electronic)9783939897224
DOIs
StatePublished - 1 Mar 2011
Event6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010 - Mikulov, Czech Republic
Duration: 22 Oct 201024 Oct 2010

Publication series

NameOpenAccess Series in Informatics
Volume16
ISSN (Print)2190-6807

Conference

Conference6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010
Country/TerritoryCzech Republic
CityMikulov
Period22/10/1024/10/10

Keywords

  • modal transition systems
  • process algebra
  • specification

Fingerprint

Dive into the research topics of 'Process Algebra for Modal Transition Systemses'. Together they form a unique fingerprint.

Cite this