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
Bisimulation for labelled Markov processes - MaRDI portal

Bisimulation for labelled Markov processes (Q2506488)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bisimulation for labelled Markov processes
scientific article

    Statements

    title
    Bisimulation for labelled Markov processes (English)
    0 references
    author
    Josée Desharnais
    0 references
    Abbas Edalat
    0 references
    Prakash Panangaden
    0 references
    publication date
    10 October 2006
    0 references

    Identifiers

    zbMATH DE Number
    5061603
    0 references
    OpenAlex ID
    W2100893927
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2506488&oldid=34891692"
    Powered by MediaWiki