Subtyping for session types in the pi calculus (Q2576666)

From MaRDI portal
Revision as of 02:05, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Subtyping for session types in the pi calculus
scientific article

    Statements

    title
    Subtyping for session types in the pi calculus (English)
    0 references
    author
    Malcolm Hole
    0 references
    Simon J. Gay
    0 references
    publication date
    14 December 2005
    0 references
    zbMATH DE Number
    2238637
    0 references
    zbMATH Keywords
    typing rules
    0 references
    typechecking algorithm
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2576666&oldid=23622529"
    Powered by MediaWiki