scientific article; zbMATH DE number 1832232
From MaRDI portal
Publication:4778710
zbMATH Open0997.68508MaRDI QIDQ4778710FDOQ4778710
Authors: Jerome Feret 
Publication date: 19 November 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260412
Title of this publication is not available (Why is that?)
Recommendations
Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
Cited In (18)
- Foundations of Security Analysis and Design II
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
