Conway and iteration hemirings Part 2

M. Droste, Z. Ésik, W. Kuich

Research output: Contribution to journalArticle

Abstract

Conway and iteration hemimodules were introduced in the first part of the paper. Here, we define and study hemimodules of Conway and iteration hemirings and study their relation to (partial) Conway and iteration semiring-semimodule pairs. Moreover, we show their applicability in the analysis of quantitative aspects of the infinitary behavior of weighted transition systems. These include discounted and average computations of weights investigated recently.

Original languageEnglish
Pages (from-to)483-513
Number of pages31
JournalInternational Journal of Algebra and Computation
Volume24
Issue number4
DOIs
Publication statusPublished - 2014

Fingerprint

Iteration
Semimodule
Semiring
Transition Systems
Partial

Keywords

  • Conway semirings and semimodules
  • hemirings and hemimodules
  • weighted transition systems

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

Conway and iteration hemirings Part 2. / Droste, M.; Ésik, Z.; Kuich, W.

In: International Journal of Algebra and Computation, Vol. 24, No. 4, 2014, p. 483-513.

Research output: Contribution to journalArticle

Droste, M. ; Ésik, Z. ; Kuich, W. / Conway and iteration hemirings Part 2. In: International Journal of Algebra and Computation. 2014 ; Vol. 24, No. 4. pp. 483-513.
@article{c82d2916a15a4a7b94839a93d6fb1777,
title = "Conway and iteration hemirings Part 2",
abstract = "Conway and iteration hemimodules were introduced in the first part of the paper. Here, we define and study hemimodules of Conway and iteration hemirings and study their relation to (partial) Conway and iteration semiring-semimodule pairs. Moreover, we show their applicability in the analysis of quantitative aspects of the infinitary behavior of weighted transition systems. These include discounted and average computations of weights investigated recently.",
keywords = "Conway semirings and semimodules, hemirings and hemimodules, weighted transition systems",
author = "M. Droste and Z. {\'E}sik and W. Kuich",
year = "2014",
doi = "10.1142/S0218196714500222",
language = "English",
volume = "24",
pages = "483--513",
journal = "International Journal of Algebra and Computation",
issn = "0218-1967",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "4",

}

TY - JOUR

T1 - Conway and iteration hemirings Part 2

AU - Droste, M.

AU - Ésik, Z.

AU - Kuich, W.

PY - 2014

Y1 - 2014

N2 - Conway and iteration hemimodules were introduced in the first part of the paper. Here, we define and study hemimodules of Conway and iteration hemirings and study their relation to (partial) Conway and iteration semiring-semimodule pairs. Moreover, we show their applicability in the analysis of quantitative aspects of the infinitary behavior of weighted transition systems. These include discounted and average computations of weights investigated recently.

AB - Conway and iteration hemimodules were introduced in the first part of the paper. Here, we define and study hemimodules of Conway and iteration hemirings and study their relation to (partial) Conway and iteration semiring-semimodule pairs. Moreover, we show their applicability in the analysis of quantitative aspects of the infinitary behavior of weighted transition systems. These include discounted and average computations of weights investigated recently.

KW - Conway semirings and semimodules

KW - hemirings and hemimodules

KW - weighted transition systems

UR - http://www.scopus.com/inward/record.url?scp=84904011288&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84904011288&partnerID=8YFLogxK

U2 - 10.1142/S0218196714500222

DO - 10.1142/S0218196714500222

M3 - Article

AN - SCOPUS:84904011288

VL - 24

SP - 483

EP - 513

JO - International Journal of Algebra and Computation

JF - International Journal of Algebra and Computation

SN - 0218-1967

IS - 4

ER -