A Non-probabilistic Relational Model of Probabilistic Kleene Algebras
From MaRDI portal
Publication:3498409
DOI10.1007/978-3-540-78913-0_10zbMath1140.68048OpenAlexW1493352806MaRDI QIDQ3498409
Norihiro Tsumagari, Koki Nishizawa, Hitoshi Furusawa
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
Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
An algebraic approach to multirelations and their properties ⋮ Domain Axioms for a Family of Near-Semirings
This page was built for publication: A Non-probabilistic Relational Model of Probabilistic Kleene Algebras