Specification of the Giskard Consensus Protocol.

Elaine Li Karl Palmskog Mircea Sebe Grigore Rosu

Published in: CoRR (2020)

Keyphrases

protocol specification
colored petri nets
state machines
communication protocols
high level
lightweight
formal specification
coloured petri nets
petri net
formal verification
real time
communication protocol
application layer