Brane Calculi Systems: A Static Preview of their Possible Behaviour

Details Brane Calculi Systems: A Static Preview of their Possible Behaviour Brane Calculi Systems: A Static Preview of their Possible Behaviour

2011-08-17

arxiv.org/abs/1108.3429v1

Computer Science

Logic in Computer Science

Presented at MeCBIC 2011

Scientific paper

We improve the precision of a previous Control Flow Analysis for Brane
Calculi, by adding information on the context and introducing causality
information on the membranes. This allows us to prove some biological
properties on the behaviour of systems specified in Brane Calculi.

Affiliated with

Also associated with

No associations

Rating

Brane Calculi Systems: A Static Preview of their Possible Behaviour does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Brane Calculi Systems: A Static Preview of their Possible Behaviour, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Brane Calculi Systems: A Static Preview of their Possible Behaviour will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-540120