Kahl, Thomas - Higher-dimensional automata modeling shared-variable systems

lmcs:4277 - Logical Methods in Computer Science, September 6, 2019, Volume 15, Issue 3
Higher-dimensional automata modeling shared-variable systems

Authors: Kahl, Thomas

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.


Source : oai:arXiv.org:1801.08451
Volume: Volume 15, Issue 3
Published on: September 6, 2019
Submitted on: February 13, 2018
Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory,68Q85


Share