AWN

MaRDI QIDQ40947swMATHFDO

Official website https://www.isa-afp.org/entries/AWN.html

Cited in

(3)

• Mechanizing a process algebra for network protocols
• Showing invariance compositionally for a process algebra for network protocols
• Isabelle/Circus

This page was built for software: AWN