License
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.MEMICS.2010.9
URN: urn:nbn:de:0030-drops-30701
URL: http://drops.dagstuhl.de/opus/volltexte/2011/3070/
Go to the corresponding OASIcs Volume Portal


Benes, Nikola ; Kretinsky, Jan

Process Algebra for Modal Transition Systemses

pdf-format:
Document 1.pdf (432 KB)


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.

BibTeX - Entry

@InProceedings{benes_et_al:OASIcs:2011:3070,
  author =	{Nikola Benes and Jan Kretinsky},
  title =	{{Process Algebra for Modal Transition Systemses}},
  booktitle =	{Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers},
  pages =	{9--18},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-22-4},
  ISSN =	{2190-6807},
  year =	{2011},
  volume =	{16},
  editor =	{Ludek Matyska and Michal Kozubek and Tom{\'a}{\v{s}} Vojnar and Pavel Zemc{\'i}k and David Antos},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3070},
  URN =		{urn:nbn:de:0030-drops-30701},
  doi =		{http://dx.doi.org/10.4230/OASIcs.MEMICS.2010.9},
  annote =	{Keywords: modal transition systems, process algebra, specification}
}

Keywords: modal transition systems, process algebra, specification
Seminar: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers
Issue Date: 2011
Date of publication: 11.03.2011


DROPS-Home | Fulltext Search | Imprint Published by LZI