Probabilistic relational models of complete IL-semirings

MaRDI QIDQ5408906zbMATH OpenFDO

Authors Norihiro Tsumagari

Publication date 11 April 2014

zbMATH Keywords

probabilistic systemssemantic domaincomplete idempotent left semiringsprobabilistic multirelations

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Algebraic theory of languages and automata (68Q70) Semirings (16Y60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
• Multirelational representation theorems for complete idempotent left semirings.
• Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras
• Relational and multirelational representation theorems for complete idempotent left semirings.
• Relations into algebras of probabilistic distributions

Cited in

(7)

• On the quantum stability of Q-balls
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• Multirelational representation theorems for complete idempotent left semirings.
• Relations into algebras of probabilistic distributions
• A relation-algebraic approach to multirelations and predicate transformers
• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
• A semantics and a logic for \textit{Fuzzy Arden Syntax}

This page was built for publication: Probabilistic relational models of complete IL-semirings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408906)