Negative Results on Decidability and Small Model Property of Process Equations
From MaRDI portal
Publication:5217303
DOI10.1007/978-3-319-63121-9_10zbMATH Open1431.68076OpenAlexW2736674949MaRDI QIDQ5217303
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
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Unnamed Item π π
- Unnamed Item π π
- Unnamed Item π π
- Equational reasoning about nondeterministic processes π π
- On decidability of LTL model checking for process rewrite systems π π
- An incompleteness result in process algebra π π
- Undecidable equivalences for basic process algebra π π
- On the decidability of process equivalences for the \(\pi\)-calculus π π
- On the decidability of process equivalences for the Ο-calculus π π
- On Decidability of LTL Model Checking for Process Rewrite Systems π π
This page was built for publication: Negative Results on Decidability and Small Model Property of Process Equations
