Please use this identifier to cite or link to this item:

TitleHigher-dimensional automata modeling shared-variable systems
Author(s)Kahl, Thomas
KeywordsHigher-dimensional automata
transition system
Shared-variable system
Tensor product
Issue date6-Sep-2019
PublisherTechnischen Universitat Braunschweig
JournalLogical Methods in Computer Science
Abstract(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.
Publisher version
AccessOpen access
Appears in Collections:CMAT - Artigos em revistas com arbitragem / Papers in peer review journals

Files in This Item:
File Description SizeFormat 
transHDA.pdf410,24 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID