Proofs about Network Communication: For Humans and Machines

DOI10.4204/eptcs.383.1arXiv2308.10652MaRDI QIDQ6197375

Wolfgang Jeltsch, Javier Díaz

Publication date: 19 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2308.10652

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Nominal techniques in Isabelle/HOL
• A process calculus for mobile ad hoc networks
• Ouroboros Praos: an adaptively-secure, semi-synchronous proof-of-stake blockchain
• Ouroboros: a provably secure proof-of-stake blockchain protocol
• Truly Modular (Co)datatypes for Isabelle/HOL
• Formalising the pi-calculus using nominal logic
• NetKAT
• Psi-calculi in Isabelle

This page was built for publication: Proofs about Network Communication: For Humans and Machines