A calculus of mobile processes, II
Information and Computation
Journal of Computer and System Sciences
Well-structured transition systems everywhere!
Theoretical Computer Science
Communication and Concurrency
Membrane Computing: An Introduction
Membrane Computing: An Introduction
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Applications of Membrane Computing (Natural Computing Series)
Applications of Membrane Computing (Natural Computing Series)
Replication vs. recursive definitions in channel based calculi
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Deciding behavioural properties in brane calculi
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
On the computational power of brane calculi
Transactions on Computational Systems Biology VI
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Expressiveness Issues in Brane Calculi: A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
WMC'07 Proceedings of the 8th international conference on Membrane computing
Process algebras in systems biology
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
Some notes on (mem)brane computation
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
Deciding behavioural properties in brane calculi
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
An Analysis for Causal Properties of Membrane Interactions
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In recent years, the modeling and analysis techniques developed in the area of formal languages and of concurrent process calculi have been successfully applied to the field of Systems Biology. In this setting, Brane Calculi and Membrane Systems are two of the most prominent approaches for the modeling of the behaviour of biological membranes. Membrane Systems have been introduced by Gh. P&acaron;un as a class of distributed parallel computing devices of a biochemical type, while Brane Calculi are a family of process calculi, based on a set of biologically inspired primitives of membrane interaction. In this paper we model the behaviour of a biological process - namely, the LDL Cholesterol Degradation Pathway - in both Brane Calculi and Membrane Systems. We also provide a brief discussion on the application of analysis techniques to this case study.