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

Full metadata record
DC FieldValueLanguage
dc.contributor.authorKahl, Thomaspor
dc.date.accessioned2019-09-11T08:33:45Z-
dc.date.available2019-09-11T08:33:45Z-
dc.date.issued2019-09-06-
dc.date.submitted2018-02-
dc.identifier.issn1860-5974por
dc.identifier.urihttp://hdl.handle.net/1822/61393-
dc.description.abstractThe 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.por
dc.language.isoengpor
dc.publisherTechnischen Universitat Braunschweigpor
dc.relationinfo:eu-repo/grantAgreement/FCT/5876/147370/PTpor
dc.rightsopenAccesspor
dc.subjectHigher-dimensional automatapor
dc.subjecttransition systempor
dc.subjectShared-variable systempor
dc.subjectTensor productpor
dc.subjectInterleavingpor
dc.titleHigher-dimensional automata modeling shared-variable systemspor
dc.typearticlepor
dc.peerreviewedyespor
dc.relation.publisherversionhttps://lmcs.episciences.org/5749por
oaire.citationStartPage28:1por
oaire.citationEndPage28:21por
oaire.citationIssue3por
oaire.citationVolume15por
dc.identifier.essn1860-5974por
dc.identifier.doi10.23638/LMCS-15(3:28)2019por
dc.subject.fosCiências Naturais::Matemáticaspor
dc.subject.fosCiências Naturais::Ciências da Computação e da Informaçãopor
sdum.journalLogical Methods in Computer Sciencepor
oaire.versionSMURpor
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