Towards a Session Logic for Communication Protocols.

Florin Craciun Tibor Kiss Andreea 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