Disambiguation evidence for spi-calculus via surface form
""A Calculus for Cryptographic Protocols: The Spi Calculus""
Triples (1)
Triples where some other subject referred to this entity
as ""A Calculus for Cryptographic Protocols: The Spi Calculus"".
spi-calculus
→
introducedInWork
→
""A Calculus for Cryptographic Protocols: The Spi Calculus""
ⓘ
↳ resolves to spi-calculus