Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
type: Item
instance of: scholarly article
title: Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
zbMATH Open document ID: 1205.68248
author: Michael Mendler
author: Gerald Lüttgen
published in: Information and Computation
publication date: 2010-06-25T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5726617
zbMATH Keywords: process algebra
zbMATH Keywords: \(\mu \)-expressions
zbMATH Keywords: observational congruence
zbMATH Keywords: finite axiomatisation
zbMATH Keywords: Horn logic
MaRDI profile type: Publication
full work available at URL: j.ic.2009.05.005
OpenAlex ID: W2076739792
cites work: On the Axiomatizability of Priority
cites work: CCS with Hennessy's merge has no finite-equational axiomatization
cites work: Impossibility Results for the Equational Theory of Timed CCS
cites work: A complete axiomatization of timed bisimulation for a class of timed regular behaviours
cites work: Axiomatizing prefix iteration with silent steps
cites work: Process algebra with timing
cites work: Q3727367
cites work: Q3792231
cites work: ITERATION ALGEBRAS
cites work: Q5287508
cites work: Q4508392
cites work: On Finite Alphabets and Infinite Bases III: Simulation
cites work: Q5639639
cites work: An Equational Axiomatization of Bisimulation over Regular Expressions
cites work: Completeness of Park induction
cites work: Q2753681
cites work: Q4737893
cites work: A complete equational axiomatization for prefix iteration
cites work: Q4375630
cites work: Q3777424
cites work: A fully abstract denotational model for observational precongruence
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: A complete inference system for a class of regular behaviours
cites work: Q3992568
cites work: A complete axiomatisation for observational congruence of finite-state behaviours
cites work: Higher-order Horn clauses
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
cites work: Nonaxiomatisability of equivalences over finite state processes
DOI: 10.1016/J.IC.2009.05.005
description: scientific article; zbMATH DE number 5726617