Login / Signup
The Two-Phase Commitment Protocol in an Extended pi-Calculus.
Martin Berger
Kohei Honda
Published in:
EXPRESS (2000)
Keyphrases
</>
formal analysis
lightweight
network protocols
neural network
quality of service
security protocols
authentication protocol