Probabilistic relational models of complete IL-semirings

zbMATH Open1284.68436MaRDI QIDQ5408906FDOQ5408906

Authors: Norihiro Tsumagari 

Publication date: 11 April 2014

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

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)

Cited In (6)

• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• Relations into algebras of probabilistic distributions
• On the quantum stability of Q-balls
• A Relation-Algebraic Approach to Multirelations and Predicate Transformers
• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras

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)