A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
DOI10.1007/978-3-540-78913-0_10zbMATH Open1140.68048OpenAlexW1493352806MaRDI QIDQ3498409FDOQ3498409
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
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
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)
Cited In (6)
- Domain Axioms for a Family of Near-Semirings
- Closure, properties and closure properties of multirelations
- The cube of Kleene algebras and the triangular prism of multirelations
- Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras
- Probabilistic relational models of complete IL-semirings
- An algebraic approach to multirelations and their properties
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)