scientific article; zbMATH DE number 1346361
From MaRDI portal
Publication:4266484
zbMath0931.68049MaRDI QIDQ4266484
Publication date: 30 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A stable non-interleaving early operational semantics for the pi-calculus ⋮ Encoding cryptographic primitives in a calculus with polyadic synchronisation
This page was built for publication: