Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Unifying Equivalences for Higher Dimensional Automata - MaRDI portal

Unifying Equivalences for Higher Dimensional Automata (Q3168195)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unifying Equivalences for Higher Dimensional Automata
scientific article

    Statements

    title
    Unifying Equivalences for Higher Dimensional Automata (English)
    0 references
    author
    Elena S. Oshevskaya
    0 references
    I. B. Virbitskaite
    0 references
    Eike Best
    0 references
    publication date
    29 October 2012
    0 references
    zbMATH Keywords
    Higher dimensional automata
    0 references
    bisimilarity
    0 references
    coalgebras
    0 references
    concurrency theory
    0 references
    open maps
    0 references

    Identifiers

    DOI
    10.3233/FI-2012-742
    0 references
    Mathematics Subject Classification ID
    68Q85
    0 references
    68Q70
    0 references
    18B20
    0 references
    zbMATH DE Number
    6100200
    0 references
    OpenAlex ID
    W1662292621
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3168195&oldid=37258277"
    Powered by MediaWiki