Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/61393

TitleHigher-dimensional automata modeling shared-variable systems
Author(s)Kahl, Thomas
KeywordsHigher-dimensional automata
transition system
Shared-variable system
Tensor product
Interleaving
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.
TypeArticle
URIhttp://hdl.handle.net/1822/61393
DOI10.23638/LMCS-15(3:28)2019
ISSN1860-5974
e-ISSN1860-5974
Publisher versionhttps://lmcs.episciences.org/5749
Peer-Reviewedyes
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