scientific article; zbMATH DE number 1759483
From MaRDI portal
Publication:4536437
zbMath0998.68085MaRDI QIDQ4536437
Publication date: 25 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Strong normalisation in the \(\pi\)-calculus ⋮ An algebra of behavioural types ⋮ A categorical framework for typing CCS-style process communication
This page was built for publication: