Is Observational Congruence Axiomatisable in Equational Horn Logic?

DOI10.1007/978-3-540-74407-8_14MaRDI QIDQ3525638zbMATH OpenOpenAlexFDO

Authors Michael Mendler, Gerald Lüttgen

Publication date 18 September 2008

Published in CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74407-8_14

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
• On “Axiomatising Finite Concurrent Processes”
• On the axiomatisability of priority
• scientific article; zbMATH DE number 1670867
• Axiomatising Finite Concurrent Processes

Cited in

(2)

• Axiomatizing maximal progress and discrete time
• Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?

This page was built for publication: Is Observational Congruence Axiomatisable in Equational Horn Logic?

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