Axiomatizing weighted synchronization trees and weighted bisimilarity

DOI10.1016/J.TCS.2014.02.033zbMATH Open1359.68219OpenAlexW2078182449MaRDI QIDQ2447752FDOQ2447752

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

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

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)

Cites Work

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

Cited In (9)

• Equational properties of fixed point operations in Cartesian categories: an overview
• A connection between concurrency and language theory
• Iteration theories of synchronization trees
• Title not available (Why is that?)
• Equational properties of fixed-point operations in Cartesian categories: an overview
• Concurrent weighted logic
• Foundations of a theory of synchronous systems
• A complete axiomatization of weighted branching bisimulation
• Continuous Additive Algebras and Injective Simulations of Synchronization Trees

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)