Login / Signup
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