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

axiomatizationiteration theoryequational 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

• 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?)
• 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
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Foundations of Software Science and Computational Structures
• Free iterative and iteration \(K\)-semialgebras
• Group axioms for iteration
• 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)

• Equational properties of fixed-point operations in Cartesian categories: an overview
• Concurrent weighted logic
• Foundations of a theory of synchronous systems
• Iteration theories of synchronization trees
• Equational properties of fixed point operations in Cartesian categories: an overview
• scientific article; zbMATH DE number 6987096 (Why is no real title available?)
• Continuous Additive Algebras and Injective Simulations of Synchronization Trees
• A connection between concurrency and language theory
• A complete axiomatization of weighted branching bisimulation

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)