Login / Signup

Towards a Session Logic for Communication Protocols.

Florin CraciunTibor KissAndreea Costea
Published in: ICECCS (2015)
Keyphrases
  • communication protocols
  • communication networks
  • logic programming
  • classical logic
  • communication protocol
  • modal logic
  • neural network
  • end users
  • asynchronous circuits
  • protocol stack