Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/61393
Título: | Higher-dimensional automata modeling shared-variable systems |
Autor(es): | Kahl, Thomas |
Palavras-chave: | Higher-dimensional automata transition system Shared-variable system Tensor product Interleaving |
Data: | 6-Set-2019 |
Editora: | Technischen Universitat Braunschweig |
Revista: | Logical Methods in Computer Science |
Resumo(s): | 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. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/61393 |
DOI: | 10.23638/LMCS-15(3:28)2019 |
ISSN: | 1860-5974 |
e-ISSN: | 1860-5974 |
Versão da editora: | https://lmcs.episciences.org/5749 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CMAT - Artigos em revistas com arbitragem / Papers in peer review journals |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
transHDA.pdf | 410,24 kB | Adobe PDF | Ver/Abrir |