AWN

MaRDI QIDQ40947swMATHFDO

Authors Timothy Bourke

Publication date 8 March 2014

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

Cites work

• Showing invariance compositionally for a process algebra for network protocols

Cited in

(3)

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

This page was built for software: AWN