Non-interleaving semantics for mobile processes
Theoretical Computer Science
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Modeling and analysis of biological processes by mem(brane) calculi and systems
Proceedings of the 38th conference on Winter simulation
A Simple Calculus for Proteins and Cells
Electronic Notes in Theoretical Computer Science (ENTCS)
Communication via Mobile Vesicles in Brane Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Control Flow Analysis for BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
A Control Flow Analysis for Beta-binders with and without static compartments
Theoretical Computer Science
The calculus of looping sequences
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Abstract interpretation based verification of temporal properties for BioAmbients
Information and Computation
A new occurrence counting analysis for bioambients
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
An analysis for proving temporal properties of biological systems
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Hi-index | 0.00 |
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 Construction or Approximation of Fixpoints. In Proc. Fourth ACM Symp. Principles of Programming Languages (POPL@?77), pp. 238-252, 1977.], obtained by defining a finite computable approximation of the causal semantics proposed in [N. Busi. Towards a Causal Semantics for Brane Calculi. In What is it About Government that Americans Dislike, pp. 1945-1965, University Press, 2007.] for the Mate/Bud/Drip (MBD) Brane Calculus [L. Cardelli. Brane calculi - interactions of biological membranes. In Proc. of Computational Methods in Systems Biology (CMSB@?04), LNCS 3082, pp. 257-280, 2005.]. The causal semantics in [N. Busi. Towards a Causal Semantics for Brane Calculi. In What is it About Government that Americans Dislike, pp. 1945-1965, University Press, 2007.] is able to address different kinds of causal dependencies: structural, synchronisation and the so-called environment causality. Our analysis, being a safe (over)-approximation of such causal semantics, besides modelling all possible evolutions of the system, can be used to formally prove causal properties among membrane interactions.