Confluence Thanks to Extensional Determinism (Q5262976)

From MaRDI portal
scientific article; zbMATH DE number 6457610
Language Label Description Also known as
English
Confluence Thanks to Extensional Determinism
scientific article; zbMATH DE number 6457610

    Statements

    Confluence Thanks to Extensional Determinism (English)
    0 references
    0 references
    10 July 2015
    0 references
    determinism
    0 references
    confluence
    0 references
    process algebra
    0 references
    CCS
    0 references
    CSP
    0 references

    Identifiers