scientific article; zbMATH DE number 1832232

MaRDI QIDQ4778710zbMATH OpenFDO

Authors Jerome Feret

Publication date 19 November 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2126/21260412

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• On abstract interpretation of mobile ambients
• scientific article; zbMATH DE number 1832231
• scientific article; zbMATH DE number 1487853
• scientific article; zbMATH DE number 1617321
• Abstract interpretation of mobile ambients.

Cited in

(18)

• Foundations of Security Analysis and Design II
• scientific article; zbMATH DE number 1832231 (Why is no real title available?)
• Abstract interpretation of mobile ambients.
• A static analysis for brane calculi providing global occurrence counting information
• Quantitative static analysis of communication protocols using abstract Markov chains
• Types for the ambient calculus
• scientific article; zbMATH DE number 1617321 (Why is no real title available?)
• scientific article; zbMATH DE number 2087554 (Why is no real title available?)
• A typed encoding of boxed into safe ambients
• Abstract interpretation based verification of temporal properties for BioAmbients
• Information flow security in boundary ambients
• A semiring-based quantitative analysis of mobile systems
• Abstract interpretation of mobile systems
• When ambients cannot be opened
• On abstract interpretation of mobile ambients
• Behavioural typing for safe ambients
• A Global Occurrence Counting Analysis for Brane Calculi
• Approximating probabilistic behaviors of biological systems using abstract interpretation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4778710)