Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.

DOI10.4230/LIPICS.CONCUR.2020.35OpenAlexW3081625212MaRDI QIDQ5089302FDOQ5089302

Tingting Yu, Xin Xin Liu

Publication date: 18 July 2022

Full work available at URL: https://doi.org/10.4230/LIPIcs.CONCUR.2020.35

zbMATH Keywords

congruencebisimulationaxiomatisationsoundness and completeness

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Branching time and abstraction in bisimulation semantics
• Bisimulation and divergence
• A complete inference system for a class of regular behaviours
• A complete axiomatisation for observational congruence of finite-state behaviours
• Axiomatizing prefix iteration with silent steps
• Axiomatising divergence

Cited In (3)

• Title not available (Why is that?)
• Reactive bisimulation semantics for a process algebra with timeouts
• Title not available (Why is that?)

This page was built for publication: Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.

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