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
Dynamic structural operational semantics - MaRDI portal

Dynamic structural operational semantics (Q2329443)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dynamic structural operational semantics
scientific article

    Statements

    title
    Dynamic structural operational semantics (English)
    0 references
    author
    Christian Johansen
    0 references
    Olaf Owe
    0 references
    publication date
    17 October 2019
    0 references
    zbMATH Keywords
    modular structural operational semantics
    0 references
    dynamic software updates
    0 references
    dynamic class upgrades
    0 references
    Proteus
    0 references
    Creol
    0 references
    concurrent objects
    0 references
    describes a project that uses
    Ott
    0 references
    SPIN
    0 references
    Maude
    0 references
    Erlang
    0 references
    MMT
    0 references
    JavAdaptor
    0 references
    Multilisp
    0 references
    K Prover
    0 references
    cites work
    Q4715213
    0 references
    Q2760240
    0 references
    Q3656205
    0 references
    Q3127246
    0 references
    Q4912847
    0 references
    Mobile ambients
    0 references
    Q4992500
    0 references
    Q4525781
    0 references
    Transitions and Trees
    0 references
    Software Evolution
    0 references
    Q4941890
    0 references
    Q4023244
    0 references
    Mutatis mutandis
    0 references

    Identifiers

    zbMATH DE Number
    7118982
    0 references
    OpenAlex ID
    W2962931273
    0 references
    arXiv ID
    1612.00666
    0 references
    Wikidata QID
    Q127747241
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2329443&oldid=39013571"
    Powered by MediaWiki