A Non-probabilistic Relational Model of Probabilistic Kleene Algebras

DOI10.1007/978-3-540-78913-0_10MaRDI QIDQ3498409zbMATH OpenOpenAlexFDO

Authors Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa

Publication date 15 May 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78913-0_10

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of universal algebra in computer science (08A70)

Recommendations

• Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras
• scientific article; zbMATH DE number 1735907
• Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
• Relational algebraic semantics of deterministic and nondeterministic programs
• A Relational Model of a Parallel and Non-deterministic λ-Calculus
• Probabilistic relational models of complete IL-semirings
• An efficient relational deductive system for propositional non-classical logics
• Algebraic Methodology and Software Technology
• Relational and Kleene-Algebraic Methods in Computer Science
• Publication:3203756

Cited in

(6)

• Closure, properties and closure properties of multirelations
• Probabilistic relational models of complete IL-semirings
• An algebraic approach to multirelations and their properties
• Domain Axioms for a Family of Near-Semirings
• The cube of Kleene algebras and the triangular prism of multirelations
• Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras

This page was built for publication: A Non-probabilistic Relational Model of Probabilistic Kleene Algebras

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