scientific article
From MaRDI portal
Publication:2748155
zbMath0985.68039MaRDI QIDQ2748155
Flemming Nielson, Hanne Riis Nielson
Publication date: 14 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A monotone framework for CCS ⋮ Flow-sensitive type systems and the ambient calculus ⋮ Dynamic management of capabilities in a network aware coordination language
This page was built for publication: