scientific article; zbMATH DE number 2163050
From MaRDI portal
Publication:4673437
zbMath1088.68661MaRDI QIDQ4673437
Publication date: 29 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Responsiveness in process calculi ⋮ Ensuring termination by typability ⋮ Corecursion and Non-divergence in Session-Typed Processes