Negative Results on Decidability and Small Model Property of Process Equations

DOI10.1007/978-3-319-63121-9_10MaRDI QIDQ5217303zbMATH OpenOpenAlexFDO

Authors Xin Xin Liu

Publication date 24 February 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63121-9_10

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

• Undecidable equivalences for basic process algebra
• scientific article; zbMATH DE number 1051237
• scientific article; zbMATH DE number 3909727
• Equational reasoning about nondeterministic processes
• On the decidability of process equivalences for the \(\pi\)-calculus
• On the decidability of process equivalences for the \(\pi\)-calculus
• An incompleteness result in process algebra
• On decidability of LTL model checking for process rewrite systems
• On Decidability of LTL Model Checking for Process Rewrite Systems
• scientific article; zbMATH DE number 1638655

Cited in

(1)

• Equations between Regular Terms and an Application to Process Logic

This page was built for publication: Negative Results on Decidability and Small Model Property of Process Equations

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