scientific article
From MaRDI portal
Publication:2763677
zbMath0977.68520MaRDI QIDQ2763677
Flemming Nielson, Helmut Seidl
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280252
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program analysis\(\pi\)-calculusambient calculus0-CFAHorn clauses with sharingtiling of Horn clauses
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Nesting analysis of mobile ambients, Relational Analysis of Correlation, Information flow security in boundary ambients, Verification of cryptographic protocols: tagging enforces termination, Abstract interpretation of mobile systems, A control flow analysis for Beta-binders with and without static compartments, Cryptographic Analysis in Cubic Time, Static analysis for the \(\pi\)-calculus with applications to security, A Static Analysis for Beta-Binders, Validating firewalls using flow logics, Behavioural typing for safe ambients
