Quotienting the Delay Monad by Weak Bisimilarity (Q2787419)

From MaRDI portal
Revision as of 08:31, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Quotienting the Delay Monad by Weak Bisimilarity
scientific article

    Statements

    title
    Quotienting the Delay Monad by Weak Bisimilarity (English)
    0 references
    author
    James T. E. Chapman
    0 references
    Tarmo Uustalu
    0 references
    Niccolò Veltri
    0 references
    publication date
    25 February 2016
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q65
    0 references
    03B15
    0 references
    68N18
    0 references
    68Q55
    0 references
    68T15
    0 references
    zbMATH DE Number
    6545723
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2787419&oldid=27248360"
    Powered by MediaWiki