Higher-dimensional automata modeling shared-variable systems

doi:10.23638/LMCS-15(3:28)2019

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/61393

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Kahl, Thomas	por
dc.date.accessioned	2019-09-11T08:33:45Z	-
dc.date.available	2019-09-11T08:33:45Z	-
dc.date.issued	2019-09-06	-
dc.date.submitted	2018-02	-
dc.identifier.issn	1860-5974	por
dc.identifier.uri	https://hdl.handle.net/1822/61393	-
dc.description.abstract	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.	por
dc.description.sponsorship	This research was financed by Portuguese funds through FCT - Fundacao para a Ciencia e a Tecnologia (project UID/MAT/00013/2013).	por
dc.language.iso	eng	por
dc.publisher	Technischen Universitat Braunschweig	por
dc.relation	info:eu-repo/grantAgreement/FCT/5876/147370/PT	por
dc.rights	openAccess	por
dc.subject	Higher-dimensional automata	por
dc.subject	transition system	por
dc.subject	Shared-variable system	por
dc.subject	Tensor product	por
dc.subject	Interleaving	por
dc.title	Higher-dimensional automata modeling shared-variable systems	por
dc.type	article	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	https://lmcs.episciences.org/5749	por
oaire.citationStartPage	28:1	por
oaire.citationEndPage	28:21	por
oaire.citationIssue	3	por
oaire.citationVolume	15	por
dc.identifier.eissn	1860-5974	por
dc.identifier.doi	10.23638/LMCS-15(3:28)2019	por
dc.subject.fos	Ciências Naturais::Matemáticas	por
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
dc.subject.wos	Science & Technology	por
sdum.journal	Logical Methods in Computer Science	por
oaire.version	SMUR	por
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

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics