Axiomatizing weighted synchronization trees and weighted bisimilarity

DOI10.1016/J.TCS.2014.02.033MaRDI QIDQ2447752zbMATH OpenOpenAlexFDO

Authors Zoltán Ésik

Publication date 29 April 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2014.02.033

zbMATH Keywords

axiomatizationequational theoryiteration theorysynchronization treeweighted bisimilarity

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A complete axiomatization of weighted branching bisimulation
• Iteration theories of synchronization trees
• Weighted Muller tree automata and weighted logics
• Weighted tree automata and weighted logics
• Axiomatizing the equational theory of regular tree languages

Cites work

• A complete inference system for a class of regular behaviours
• A completeness theorem for Kleene algebras and the algebra of regular events
• Algebraic synchronization trees and processes
• An Equational Axiomatization of Bisimulation over Regular Expressions
• Axioms for probability and nondeterminism
• Bisimulation relations for weighted automata
• Bisimulation through probabilistic testing
• Completeness of Park induction
• Dagger extension theorem
• Equational axioms for probabilistic bisimilarity
• Equational properties of iteration in algebraically complete categories
• Foundations of Software Science and Computational Structures
• Free iterative and iteration K-semialgebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Group axioms for iteration
• scientific article; zbMATH DE number 3960988 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3731311 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 2040320 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 3995637 (Why is no real title available?)
• scientific article; zbMATH DE number 4197440 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 3062900 (Why is no real title available?)
• Inductive \(^{*}\)-semirings
• Iteration 2-theories
• Iteration Grove Theories with Applications
• Iteration Semirings
• Iteration theories of synchronization trees
• Kleene theorem in partial Conway theories with applications
• Matricial theories
• Recursion and iteration in continuous theories: the M-construction
• Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
• Synchronization trees
• THE POWER OF THE GROUP-IDENTITIES FOR ITERATION
• Universal algebra and applications in theoretical computer science
• Vector Iteration in Pointed Iterative Theories

Cited in

(9)

• Foundations of a theory of synchronous systems
• Iteration theories of synchronization trees
• A complete axiomatization of weighted branching bisimulation
• A connection between concurrency and language theory
• Equational properties of fixed point operations in Cartesian categories: an overview
• Continuous Additive Algebras and Injective Simulations of Synchronization Trees
• Reasoning about bounds in weighted transition systems
• Equational properties of fixed-point operations in Cartesian categories: an overview
• Concurrent weighted logic

This page was built for publication: Axiomatizing weighted synchronization trees and weighted bisimilarity

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