Irrationality of process replication for higher-dimensional automata

DOI10.1007/978-3-031-68279-7_4MaRDI QIDQ7013586zbMATH OpenFDO

Authors Thomas Baronner, Henning Basold, Márton Hablicsek

Publication date 12 March 2025

Full work available at URL https://doi.org/10.1007/978-3-031-68279-7_4

zbMATH Keywords

concurrent Kleene algebrashigher-dimensional automatalocally finitely presentable categoriesprocess replication

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A Kleene theorem for higher-dimensional automata
• A universal property of the convolution monoidal structure
• ABSTRACT HOMOTOPY
• Brzozowski goes concurrent -- a Kleene theorem for pomset languages
• Category theory in context
• Concurrent Kleene Algebra
• Concurrent Kleene algebra and its foundations
• Concurrent Kleene algebra with tests and branching automata
• Directed algebraic topology. Models of non-reversible worlds
• Geometry and concurrency: a user's guide
• History-preserving bisimilarity for higher-dimensional automata via open maps
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2143010 (Why is no real title available?)
• Labeled homology of higher-dimensional automata
• Languages of higher-dimensional automata
• On series-parallel pomset languages: rationality, context-freeness and automata
• On the expressiveness of higher dimensional automata
• Rational operational models
• Series-parallel languages and the bounded-width property
• Sound and complete axiomatizations of coalgebraic language equivalence
• Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes

This page was built for publication: Irrationality of process replication for higher-dimensional automata

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