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

lmcs:4277 - Logical Methods in Computer Science, September 6, 2019, Volume 15, Issue 3 - https://doi.org/10.23638/LMCS-15(3:28)2019
Higher-dimensional automata modeling shared-variable systemsArticle

Authors: Thomas Kahl

    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.

    https://doi.org/10.23638/LMCS-15(3:28)2019
    Source: arXiv.org:1801.08451
    Volume: Volume 15, Issue 3
    Published on: September 6, 2019
    Accepted on: July 21, 2019
    Submitted on: February 13, 2018
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory,68Q85
    Licence: Attribution 4.0 International (CC BY 4.0)
    Funding:
      Source : OpenAIRE Graph
    • Centre of Mathematics of the University of Minho; Code: UID/MAT/00013/2013

    Share and export

    Consultation statistics

    This page has been seen 1611 times.
    This article's PDF has been downloaded 250 times.