Autor: |
Thomas Kahl |
Jazyk: |
angličtina |
Rok vydání: |
2019 |
Předmět: |
|
Zdroj: |
Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019) |
Druh dokumentu: |
article |
ISSN: |
1860-5974 |
DOI: |
10.23638/LMCS-15(3:28)2019 |
Popis: |
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. |
Databáze: |
Directory of Open Access Journals |
Externí odkaz: |
|