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
26 April 2013
0 references