Cryptyc

swMATH12834MaRDI QIDQ24758FDOQ24758

Author name not available (Why is that?)

Cited In (3)

• Programming Languages and Systems
• Pattern-matching spi-calculus
• Automated type-based analysis of injective agreement in the presence of compromised principals

This page was built for software: Cryptyc