Higher-dimensional automata modeling shared-variable systems
Thomas Kahl
TL;DR
This paper introduces a novel construction for modeling shared-variable systems using higher-dimensional automata, enabling compositional representation of system interactions through tensor products and coproducts.
Contribution
It presents a new method to model shared-variable systems with higher-dimensional automata, emphasizing compositionality and algebraic structure.
Findings
Parallel composition modeled by tensor product
Nondeterministic choice represented by coproduct
Provides a formal framework for shared-variable systems
Abstract
The purpose of this paper is to provide a construction to model shared-variable systems using higher-dimensional automata which is compositional in the sense that the parallel composition of completely independent systems is modeled by the standard tensor product of HDAs and nondeterministic choice is represented by the coproduct.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.