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 - Jun 2014

Keywords

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

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Conway and iteration hemirings Part 2'. Together they form a unique fingerprint.

  • Cite this