Asynchronous Layered Coding (ALC) Protocol Instantiation.

Michael Luby Mark Watson Lorenzo Vicisano

Published in: RFC (2010)

Keyphrases

state machines
description logics
coding scheme
fuzzy description logics
coding method
upper bound
lightweight
formal analysis
coloured petri nets
network protocols
communication protocols
petri net
cryptographic protocols
error control
asynchronous communication
tcp ip
distributed databases
database systems