Reflections on a Geometry of Processes

DOI10.1016/J.ENTCS.2005.12.111MaRDI QIDQ5262964zbMATH OpenOpenAlexFDO

Authors Clemens Grabmayer, Jan Willem Klop, Bas Luttik

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.111

zbMATH Keywords

geometryperiodicityprocess algebraqueuestackbagprocess graph

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

Cited in

(1)

• scientific article; zbMATH DE number 4094502 (Why is no real title available?)

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)