scientific article; zbMATH DE number 1507234

zbMath0960.68066MaRDI QIDQ4503956

Hans Hüttel, Kasper Overgård, Anders Strandløv Elkjær, Michael Höhle

Publication date: 14 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

\(\pi\)-calculusspi calculusfenced bisimilarity

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (2)

Unnamed Item ⋮ A static analysis of cryptographic processes: the denotational approach

This page was built for publication: