Rule-based approaches (as in our own Kappa, or the BNG language, or many other
propositions allowing the consideration of" reaction classes'') offer new and more powerful …

This article presents a novel cost analysis framework for concurrent objects. Concurrent
objects form a well‐established model for distributed concurrent systems. In this model …

We present here a static analysis, based on Abstract Interpretation [8], obtained by defining
an abstract version of the causal semantics for the Mate/Bud/Drip (MBD) version of Brane …

This paper concerns the application of formal methods to biological systems, modeled
specifically in BioAmbients, a variant of the Mobile Ambients calculus. Following the …

In this paper we propose a static analysis for Brane Calculi [1], based on Abstract
Interpretation [2] techniques. Our analysis statically approximates the dynamic behaviour of …

This paper concerns the application of formal methods to biological systems, modeled
specifically in BioAmbients [34], a variant of the Mobile Ambients [4] calculus. Following the …

We present here an analysis, based on Abstract Interpretation [P. Cousot and R. Cousot.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by …

In this paper we apply the Abstract Interpretation approach [P. Cousot and R. Cousot.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by …

We propose a polynomial static analysis for Brane Calculi [6], based on Abstract
Interpretation [8] techniques. The analysis provides a description of the possible hierarchical …

Process calculus is the common denominator for a class of compact, idealised, domain-
specific formalisms normally associated with the study of reactive concurrent systems within …