AWN

swMATH29233MaRDI QIDQ40947FDOQ40947

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: AWN