Reflections on a Geometry of Processes
From MaRDI portal
Publication:5262964
Cites work
- scientific article; zbMATH DE number 4037178 (Why is no real title available?)
- scientific article; zbMATH DE number 3894457 (Why is no real title available?)
- A short proof of the decidability of bisimulation for normed BPA- processes
- Bisimulation collapse and the process taxonomy
- Bisimulation equivalence is decidable for all context-free processes
- Decidability of bisimulation equivalence for process generating context-free languages
- Graphes canoniques de graphes algébriques
- On the regular structure of prefix rewriting
- Process Algebra
- The theory of ends, pushdown automata, and second-order logic
This page was built for publication: Reflections on a Geometry of Processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262964)