Login / Signup

The Two-Phase Commitment Protocol in an Extended pi-Calculus.

Martin BergerKohei Honda
Published in: EXPRESS (2000)
Keyphrases
  • formal analysis
  • lightweight
  • network protocols
  • neural network
  • quality of service
  • security protocols
  • authentication protocol