A Formal Analysis of the Global Sequence Protocol.

Hernán C. Melgratti Christian Roldán

Published in: COORDINATION (2016)

Keyphrases

formal analysis
ban logic
formal methods
agent model
payment protocol
software engineering
information systems
operating system