AWN

swMATH29233MaRDI QIDQ40947FDOQ40947

Author name not available (Why is that?)

Cited In (2)

• Mechanizing a process algebra for network protocols
• Showing invariance compositionally for a process algebra for network protocols

This page was built for software: AWN