Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Communicating finite state machines and an extensible toolchain for multiparty session types
scientific article

    Statements

    Communicating finite state machines and an extensible toolchain for multiparty session types (English)
    0 references
    0 references
    0 references
    0 references
    20 May 2022
    0 references
    session types
    0 references
    communicating finite state machines
    0 references
    distributed programming
    0 references
    Scribble
    0 references
    protocols
    0 references
    0 references
    0 references

    Identifiers