Schlegel Diagram and Optimizable Immediate Snapshot Protocol.

Susumu Nishimura

Published in: OPODIS (2017)

Keyphrases

lightweight
file transfer
cooperative
formal analysis
security analysis
cryptographic protocols
coloured petri nets
real time
artificial intelligence
information systems
application layer
tcp ip
network protocols