Proofs about Network Communication: For Humans and Machines

DOI10.4204/EPTCS.383.1MaRDI QIDQ6197375zbMATH OpenFDO

Authors 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

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6197375)