Higher-dimensional automata modeling shared-variable systems
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2019-09-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/4277/pdf |
| Summary: | 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. |
|---|---|
| ISSN: | 1860-5974 |