Publication:4654726
From MaRDI portal
zbMath1088.68774MaRDI QIDQ4654726
Hanne Riis Nielson, Flemming Nielson, Helmut Seidl
Publication date: 8 March 2005
03B70: Logic in computer science
Related Items
Type Inference for Correspondence Types, A Scalable Inclusion Constraint Solver Using Unification, A Formal Analysis of Complex Type Flaw Attacks on Security Protocols, \textsf{CaPiTo}: Protocol stacks for services, Pathway analysis for BioAmbients, From flow logic to static type systems for coordination languages, Static analysis of topology-dependent broadcast networks, Heuristics for Safety and Security Constraints, Relational Analysis of Correlation