Publication:2729057
From MaRDI portal
zbMath0971.68579MaRDI QIDQ2729057
Flemming Nielson, Mooly Sagiv, Hanne Riis Nielson
Publication date: 6 November 2001
Related Items
Flow-sensitive type systems and the ambient calculus, Kleene's Logic with equality, Validating firewalls using flow logics, Static analysis of topology-dependent broadcast networks, Types for the ambient calculus