The Two-Phase Commitment Protocol in an Extended π-Calculus (Q4917025)

From MaRDI portal
scientific article; zbMATH DE number 6158620
Language Label Description Also known as
English
The Two-Phase Commitment Protocol in an Extended π-Calculus
scientific article; zbMATH DE number 6158620

    Statements

    The Two-Phase Commitment Protocol in an Extended π-Calculus (English)
    0 references
    0 references
    0 references
    26 April 2013
    0 references
    0 references